Search Results for author:
Found 1 papers, 0 papers with code
Learning to Reason in Large Theories without Imitation
Our experiments show that the theorem prover trained with this exploration mechanism outperforms provers that are trained only on human proofs.
Ranked #3 on
Automated Theorem Proving
on HOList benchmark
Cannot find the paper you are looking for? You can
Submit a new open access paper.
