| Feb 01, 2026 | I am excited to announce that I will be joining MBZUAI as a visiting student, working on Theorem Proving with LLMs. Feel free to reach out if you are interested in discussing potential collaborations! |
| Jan 26, 2026 | Neural Theorem Proving For Verification Conditions: A Real-World Benchmark has been accepted at ICLR 2026 (Poster). |
| Oct 25, 2025 | I will be going to EMNLP 2025 in Suzhou, China. Feel free to reach out if you’d like to meet or discuss interesting topics! |
| 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). |