20260430 Icml Tla

Our work Theory-Level Autoformalization has been accepted to ICML 2026 🇰🇷 Position Track as a Spotlight paper!