20260430 Icml Tla
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.
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.