news
| Sep 01, 2025 | Do check out our recent work on PiCSAR: Probabilistic Confidence Selection And Ranking for Reasoning Chains🔥 |
|---|---|
| Aug 21, 2025 | CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning has been accepted at EMNLP 2025 (Main). |
| Jul 11, 2025 | I gave an invited talk at NEC Laboratories Europe on “Autoformalisation and Symbolic Reasoning for Mathematical Reasoning”. [Link] |
| Jul 02, 2025 | I will be going to ACL 2025 in Vienna. Feel free to reach out if you’d like to meet or discuss interesting topics! |
| May 16, 2025 | Theorem Prover as a Judge for Synthetic Data Generation has been accepted at ACL 2025 (Main). |
| Feb 01, 2025 | Are We Done with MMLU? has been accepted at NAACL 2025 (Main). |