Search Results for author: Niklas Een

Found 1 papers, 1 papers with code

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

Cannot find the paper you are looking for? You can Submit a new open access paper.