| Sep 24, 2026 | Our work Ground False, a taxonomy and pipeline for auditing and repairing mistakes in formal math benchmarks, has been accepted to NeurIPS 2026 🇦🇺 E&D Track. Huge congrats to my mentee One! We will be presenting it at the conference, please feel free to contact us to chat or just stop by and say hi. |
| Apr 30, 2026 | Our work Theory-Level Autoformalization has been accepted to ICML 2026 🇰🇷 Position Track as a Spotlight paper! I will be presenting it at the conference, please feel free to contact me to chat or just stop by and say hi. |
| Jan 26, 2026 | Our work Divide and Abstract, an autoformalization framework leveraging decomposition and abstraction learning, has been accepted to ICLR 2026 🇧🇷 ! I will be presenting it at the conference, please feel free to contact me to chat or just stop by and say hi. |