NeurIPS 2025 Explorer
Concepts
Authors
Glossary
johnsanterre.github.io
Linfeng Song
3 papers
Google
Improving LLM General Preference Alignment via Optimistic Online Mirror Descent
MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
Thoughts Are All Over the Place: On the Underthinking of Long Reasoning Models