Automated Conjecture Resolution with Formal Verification
Recent advances in large language models (LLMs) have significantly improved their ability to perform mathematical reasoning, extending from elementary problem solving to increasingly capable performance on research-level problems. However, reliably solving and verifying such problems remains challenging due to the inhe...
Haocheng Ju, Guoxiong Gao, Jiedong Jiang et al.
· SuperIntelligence - Robotics... · 0 citations