news
| 2026-10 | Do Theorem Provers Need Theorem-Proving Agents? mini-Lean-agent: A Coding-Agent Baseline for Lean will be presented at the NeurIPS 2026 MATH-AI Workshop. |
|---|---|
| 2026-09 | How does RL Post-training induce skill composition? A Case Study on Countdown is accepted at NeurIPS 2026 as a poster. |