DeepMath - Deep Sequence Models for Premise Selection

2 code implementations • NeurIPS 2016 • Alex A. Alemi, Francois Chollet, Niklas Een, Geoffrey Irving, Christian Szegedy, Josef Urban

We study the effectiveness of neural sequence models for premise selection in automated theorem proving, one of the main bottlenecks in the formalization of mathematics.

Automated Theorem Proving