Get our free extension to see links to code for papers anywhere online!
Free add-on: code for papers everywhere!
Free add-on: See code for papers anywhere!
Add to Chrome
Add to Firefox
Add to Edge
CatalyzeX Icon
Search Icon
Code for
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers
https://leanprover.github.io
Github Icon
Z3Prover/z3
Explore Code
Download Icon
https://cvc4.github.io
https://vprover.github.io
Github Icon
openai/miniF2F/blob/main/isabelle/LICENSE
Explore Code
Download Icon
Github Icon
albertqjiang/Portal-to-ISAbelle/blob/main/LICENSE
Explore Code
Download Icon
Add to Chrome
Add to Firefox
Add to Edge
