miniCTX: Neural Theorem Proving with (Long-)Contexts

5 August 2024

Papers citing "miniCTX: Neural Theorem Proving with (Long-)Contexts"

7 / 7 papers shown

Title
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning Azim Ospanov Farzan Farnia Roozbeh Yousefzadeh LRM 26 0 0 09 May 2025
APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries Huajian Xin Luming Li Xiaoran Jin Jacques Fleuriot Wenda Li AIMat 48 0 0 27 Apr 2025
Programming with Pixels: Computer-Use Meets Software Engineering Pranjal Aggarwal Sean Welleck 40 0 0 24 Feb 2025
Formal Mathematical Reasoning: A New Frontier in AI Kaiyu Yang Gabriel Poesia Jingxuan He Wenda Li Kristin Lauter Swarat Chaudhuri Dawn Song LRM AI4CE 82 20 0 20 Dec 2024
ImProver: Agent-Based Automated Proof Optimization Riyaz Ahuja Jeremy Avigad Prasad Tetali Sean Welleck LLMAG 21 2 0 07 Oct 2024
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search Huajian Xin Z. Z. Ren Junxiao Song Zhihong Shao Wanjia Zhao ... Dejian Yang Zhibin Gou Z. F. Wu Fuli Luo Chong Ruan AIMat LRM 39 45 0 15 Aug 2024
Baldur: Whole-Proof Generation and Repair with Large Language Models E. First M. Rabe Talia Ringer Yuriy Brun 59 90 0 08 Mar 2023