news
| Nov 04, 2025 |  Our paper on revised version of miniF2F benchmark for Lean4 was accepted at NeurIPS 2025! Link to OpenReview |
|---|---|
| Nov 04, 2025 | Our paper on repair-driven agent for Lean4 was accepted at NeurIPS 2025! Link to OpenReview |
| Jun 26, 2025 | Our paper on measuring prompt-aware diversity was accepted at ICCV 2025 as a Spotlight work! Link to the paper |
| May 07, 2025 | Our paper on statistical convergence of the Vendi scores was accepted at UAI! Link to OpenReview |