Song, Peiyang

7 publications

TMLR 2026 Large Language Model Reasoning Failures Peiyang Song, Pengrui Han, Noah Goodman

ICLR 2025 LeanAgent: Lifelong Learning for Formal Theorem Proving Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar

TMLR 2025 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction Robert Joseph George, Suozhi Huang, Peiyang Song, Anima Anandkumar

ICLRW 2025 LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar

ICMLW 2024 In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models Pengrui Han, Peiyang Song, Haofei Yu, Jiaxuan You

NeurIPS 2023 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J Prenger, Animashree Anandkumar

NeurIPSW 2023 Towards Large Language Models as Copilots for Theorem Proving in Lean Peiyang Song, Kaiyu Yang, Anima Anandkumar