Search Results for author: Viktor Toman

Found 1 papers, 0 papers with code

Learning to Reason in Large Theories without Imitation

no code implementations25 May 2019 Kshitij Bansal, Christian Szegedy, Markus N. Rabe, Sarah M. Loos, Viktor Toman

Our experiments show that the theorem prover trained with this exploration mechanism outperforms provers that are trained only on human proofs.

Automated Theorem Proving Imitation Learning +2

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