news
| Apr 30, 2026 | Our work Theory-Level Autoformalization has been accepted to ICML 2026 🇰🇷 Position Track as a Spotlight paper! |
|---|---|
| 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. |