'A success' presentation slideshows

Applying Machine Learning to Automatic Theorem Proving

James Bridge supervised by Professor Larry Paulson. The Challenge to be Addressed. Logic Systems and Theorem Provers. In logic there is a trade off between expressive power in stating theorems and the decidability of the proof process.

126 views • 1 slides