Search Results for author:
Found 2 papers, 1 papers with code
Magnushammer: A Transformer-Based Approach to Premise Selection
By combining \method with a language-model-based automated theorem prover, we further improve the state-of-the-art proof success rate from $57. 0\%$ to $71. 0\%$ on the PISA benchmark using $4$x fewer parameters.
INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
In learning-assisted theorem proving, one of the most critical challenges is to generalize to theorems unlike those seen at training time.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
