Peiyang Song

p-song1's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper 6 days ago

Adaptation of Agentic AI

Paper • 2512.16301 • Published 7 days ago • 92

authored 6 papers 8 days ago

LeanAgent: Lifelong Learning for Formal Theorem Proving

Paper • 2410.06209 • Published Oct 8, 2024 • 2

The Personality Illusion: Revealing Dissociation Between Self-Reports & Behavior in LLMs

Paper • 2509.03730 • Published Sep 3 • 1

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

Paper • 2404.12534 • Published Apr 18, 2024 • 1

In-Context Learning May Not Elicit Trustworthy Reasoning: A-Not-B Errors in Pretrained Language Models

Paper • 2409.15454 • Published Sep 23, 2024 • 1

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

Paper • 2410.00988 • Published Oct 1, 2024 • 1

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

Paper • 2502.17925 • Published Feb 25 • 1

authored a paper over 2 years ago

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Paper • 2306.15626 • Published Jun 27, 2023 • 17