Linfeng Song

DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning

CDE: Curiosity-Driven Exploration for Efficient Reinforcement Learning in Large Language Models

On the Evolution of Language Models without Labels: Majority Drives Selection, Novelty Promotes Variation

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning

CLUE: Non-parametric Verification from Experience via Hidden-State Clustering

VOGUE: Guiding Exploration with Visual Uncertainty Improves Multimodal Reasoning

Thoughts Are All Over the Place: On the Underthinking of Long Reasoning Models

Improving LLM General Preference Alignment via Optimistic Online Mirror Descent

MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation

Iterative Nash Policy Optimization: Aligning LLMs with General Preferences via No-Regret Learning

Do NOT Think That Much for 2+3=? On the Overthinking of Long Reasoning Models

Thoughts Are All Over the Place: On the Underthinking of o1-Like LLMs

SIaM: Self-Improving Code-Assisted Mathematical Reasoning of Large Language Models