news
| 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 (Poster). |