Topologies of Reasoning: Demystifying Chains, Trees, and Graphs of Thoughts Paper • 2401.14295 • Published Jan 25, 2024 • 3
HUNYUANPROVER: A Scalable Data Synthesis Framework and Guided Tree Search for Automated Theorem Proving Paper • 2412.20735 • Published Dec 30, 2024 • 12
