APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

v1v2 (latest)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

9 May 2025

Roozbeh Yousefzadeh

ArXiv (abs)PDF HTML

Papers citing "APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning"

4 / 4 papers shown

Title
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning Haiming Wang Mert Unsal Xiaohan Lin Mantas Baksys Qingbin Liu ... Zhouliang Yu Ziyi Wang Zhilin Yang Zhengying Liu Jia-Nan Li AIMat ReLM AI4TS LRM 151 18 0 15 Apr 2025
Mathematical reasoning and the computer Kevin Buzzard AIMat ReLM LRM 73 4 0 11 Feb 2025
DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning DeepSeek-AI Daya Guo Dejian Yang Haowei Zhang Junxiao Song ... Shiyu Wang S. Yu Shunfeng Zhou Shuting Pan S.S. Li ReLM VLM OffRL AI4TS LRM 395 2,033 0 22 Jan 2025
miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu Thomas Zhu Sean Welleck AIMat 159 10 0 05 Aug 2024