Scaling Natural-Language Graph-Based Test Time Compute for Automated Theorem Proving

Vincent Li, Tim Knappe, Yule Fu +2

Large language models have demonstrated remarkable capabilities in natural language processing tasks requiring multi-step logical reasoning capabilities, such as automated theorem…