Peiyang Song
- Papers
- 6
Cite
Notes
Only stored in your browser.
6papers
Authored papers
6Interactive Evaluation Requires a Design Science
arXiv 2026
Large Language Model Reasoning Failures
arXiv 2026
Adaptation of Agentic AI
arXiv 2025
LeanAgent: Lifelong Learning for Formal Theorem Proving
arXiv 2024
Creative and Context-Aware Translation of East Asian Idioms with GPT-4
arXiv 2024
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
leandojo-theorem-proving-with-retrieval
Affiliations
No known affiliations.
Frequent co-authors
10from 6 papers