LLMSTEP: LLM proofstep suggestions in Lean

27 October 2023

Papers citing "LLMSTEP: LLM proofstep suggestions in Lean"

9 / 9 papers shown

Title
Activation Steering in Neural Theorem Provers Shashank Kirtania LLMSV 456 0 0 21 Feb 2025
Mathematical Language Models: A Survey Wen Liu Hanglei Hu Jie Zhou Yuyang Ding Junsong Li ... Mengliang He Qin Chen Bo Jiang Aimin Zhou Liang He LRM 177 14 0 03 Jan 2025
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast Marilyn Rego Wen Fan Xin Hu Sanya Dod Zhaorui Ni Danning Xie Jenna DiVincenzo Lin Tan LRM 99 3 0 04 Nov 2024
Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation Shaonan Wu Shuai Lu Yeyun Gong Nan Duan Ping Wei AIMat 78 0 0 21 Oct 2024
miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu Thomas Zhu Sean Welleck AIMat 127 10 0 05 Aug 2024
Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin Zhiqing Sun Yiming Yang Sean Welleck ReLM LRM 133 29 0 14 Jul 2024
An In-Context Learning Agent for Formal Theorem-Proving Amitayush Thakur George Tsoukalas Yeming Wen Jimmy Xin Swarat Chaudhuri LLMAG 58 32 0 06 Oct 2023
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang Aidan M. Swope Alex Gu Rahul Chalamala Peiyang Song Shixing Yu Saad Godil R. Prenger Anima Anandkumar RALM 86 239 0 27 Jun 2023
Proof Artifact Co-training for Theorem Proving with Language Models Jesse Michael Han Jason M. Rute Yuhuai Wu Edward W. Ayers Stanislas Polu AIMat 99 125 0 11 Feb 2021