20260924 Neurips Pfnv

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.