Peiyang Song

p-song1's activity

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

authored a paper about 20 hours ago

Large Language Model Reasoning Failures

Paper • 2602.06176 • Published 5 days ago • 7

upvoted a paper about 20 hours ago

Large Language Model Reasoning Failures

Paper • 2602.06176 • Published 5 days ago • 7

submitted a paper to Daily Papers about 20 hours ago

Large Language Model Reasoning Failures

Paper • 2602.06176 • Published 5 days ago • 7

commented a paper 4 days ago

Good SFT Optimizes for SFT, Better SFT Prepares for Reinforcement Learning

Paper • 2602.01058 • Published 9 days ago • 39 •

3

upvoted a paper 4 days ago

Good SFT Optimizes for SFT, Better SFT Prepares for Reinforcement Learning

Paper • 2602.01058 • Published 9 days ago • 39

commented a paper 4 days ago

SocialVeil: Probing Social Intelligence of Language Agents under Communication Barriers

Paper • 2602.05115 • Published 6 days ago • 18 •

8

upvoted a paper 4 days ago

SocialVeil: Probing Social Intelligence of Language Agents under Communication Barriers

Paper • 2602.05115 • Published 6 days ago • 18

authored a paper about 2 months ago

Adaptation of Agentic AI

Paper • 2512.16301 • Published Dec 18, 2025 • 106

upvoted a paper about 2 months ago

Adaptation of Agentic AI

Paper • 2512.16301 • Published Dec 18, 2025 • 106

authored 6 papers about 2 months 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, 2025 • 2

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 • 2

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

Paper • 2410.00988 • Published Oct 1, 2024 • 2

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

Paper • 2502.17925 • Published Feb 25, 2025 • 1

upvoted 5 papers about 2 months ago

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

Paper • 2502.17925 • Published Feb 25, 2025 • 1

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

Paper • 2509.03730 • Published Sep 3, 2025 • 2

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

Paper • 2410.00988 • Published Oct 1, 2024 • 2

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

Paper • 2409.15454 • Published Sep 23, 2024 • 2

LeanAgent: Lifelong Learning for Formal Theorem Proving

Paper • 2410.06209 • Published Oct 8, 2024 • 2