v1v2v3 (latest)

Towards Reliable Proof Generation with LLMs: A Neuro-Symbolic Approach

20 May 2025

Papers citing "Towards Reliable Proof Generation with LLMs: A Neuro-Symbolic Approach"

21 / 21 papers shown

Title
Lemmanaid: Neuro-Symbolic Lemma Conjecturing Yousef Alhessi Sólrún Halla Einarsdóttir George Granberry Emily First Moa Johansson Sorin Lerner Nicholas Smallbone 52 2 0 07 Apr 2025
LEMMA: Learning from Errors for MatheMatical Advancement in LLMs Zhuoshi Pan Yu Li Honglin Lin Qizhi Pei Zinan Tang Wei Wu Chenlin Ming H. Vicky Zhao Zeang Sheng Lijun Wu LRM 127 6 0 21 Mar 2025
Self-supervised Analogical Learning using Language Models Ben Zhou Sarthak Jain Yi Zhang Qiang Ning Shuai Wang Yassine Benajiba Dan Roth ReLM LRM 110 3 0 03 Feb 2025
MCP-Solver: Integrating Language Models with Constraint Programming Systems Stefan Szeider 85 1 0 31 Dec 2024
Using a Feedback Loop for LLM-based Infrastructure as Code Generation Mayur Amarnath Palavalli Mark Santolucito 91 2 0 28 Nov 2024
PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback Yun Peng Akhilesh Deepak Gotmare Michael R. Lyu Caiming Xiong Silvio Savarese Doyen Sahoo 76 7 0 18 Nov 2024
Can LLMs plan paths with extra hints from solvers? Erik Wu Sayan Mitra LRM 66 3 0 07 Oct 2024
Combining Constraint Programming Reasoning with Large Language Model Predictions Florian Régin Elisabetta De Maria Alexandre Bonlarron 107 4 0 18 Jul 2024
Exposing the Achilles' Heel: Evaluating LLMs Ability to Handle Mistakes in Mathematical Reasoning Joykirat Singh A. Nambi Vibhav Vineet LRM 95 6 0 16 Jun 2024
LLMs can Find Mathematical Reasoning Mistakes by Pedagogical Chain-of-Thought Zhuoxuan Jiang Haoyuan Peng Shanshan Feng Fan Li Dongsheng Li KELM LRM 77 16 0 09 May 2024
Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean Peiyang Song Kaiyu Yang A. Anandkumar 96 10 0 18 Apr 2024
MathVerse: Does Your Multi-modal LLM Truly See the Diagrams in Visual Math Problems? Renrui Zhang Dongzhi Jiang Yichi Zhang Haokun Lin Ziyu Guo ... Aojun Zhou Pan Lu Kai-Wei Chang Peng Gao Hongsheng Li 80 254 0 21 Mar 2024
ParallelPARC: A Scalable Pipeline for Generating Natural-Language Analogies Oren Sultan Yonatan Bitton Ron Yosef Dafna Shahaf 54 10 0 02 Mar 2024
FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving Xiaokai Zhang Na Zhu Yiming He Jia Zou Qike Huang ... Cheng Qin Zhen Zeng Shaorong Xie Xiangfeng Luo Tuo Leng AIMat AI4CE 49 5 0 27 Oct 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers Theo X. Olausson Alex Gu Benjamin Lipkin Cedegao E. Zhang Armando Solar-Lezama Josh Tenenbaum Roger Levy LRM AI4CE ReLM 147 119 0 23 Oct 2023
Large Language Models as Analogical Reasoners Michihiro Yasunaga Xinyun Chen Yujia Li Panupong Pasupat J. Leskovec Percy Liang Ed H. Chi Denny Zhou ReLM LRM 79 85 0 03 Oct 2023
MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning Xiang Yue Xingwei Qu Ge Zhang Yao Fu Wenhao Huang Huan Sun Yu-Chuan Su Wenhu Chen AIMat LRM 171 404 0 11 Sep 2023
GPT-4 Technical Report OpenAI OpenAI OpenAI Josh Achiam Steven Adler Sandhini Agarwal Lama Ahmad ... Shengjia Zhao Tianhao Zheng Juntang Zhuang William Zhuk Barret Zoph LLMAG MLLM 1.5K 14,761 0 15 Mar 2023
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language Seyed Mehran Kazemi Najoung Kim Deepti Bhatia Xinyuan Xu Deepak Ramachandran LRM 96 81 0 20 Dec 2022
NaturalProver: Grounded Mathematical Proof Generation with Language Models Sean Welleck Jiacheng Liu Ximing Lu Hannaneh Hajishirzi Yejin Choi AIMat LRM 75 73 0 25 May 2022
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language Oyvind Tafjord Bhavana Dalvi Peter Clark 95 277 0 24 Dec 2020