Peiyang Song

According to our database, Peiyang Song authored at least 8 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction.

Suozhi Huang, Peiyang Song, Robert Joseph George, Anima Anandkumar

CoRR, February, 2025

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean.

Peiyang Song, Kaiyu Yang, Anima Anandkumar

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

LeanAgent: Lifelong Learning for Formal Theorem Proving.

Adarsh Kumarappan, Mo Tiwari, Peiyang Song, Robert Joseph George, Chaowei Xiao, Anima Anandkumar

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Towards Large Language Models as Copilots for Theorem Proving in Lean.

Peiyang Song, Kaiyu Yang, Anima Anandkumar

CoRR, 2024

Creative and Context-Aware Translation of East Asian Idioms with GPT-4.

Kenan Tang, Peiyang Song, Yao Qin, Xifeng Yan

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 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

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024

Energy Efficient Convolutions with Temporal Arithmetic.

Rhys Gretsch, Peiyang Song, Advait Madhavan, Jeremy Lau, Timothy Sherwood

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J. Prenger, Animashree Anandkumar

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023