AI.info

Peiyang Song

Explore Peiyang Song on AI.info.

• Vero: Can AI Agents Build Formally Verified Software Repositories?
• Rethinking Psychometric Evaluation of LLMs: When and Why Self-Reports Predict Behavior
• Large Language Model Reasoning Failures