20260125 Iclr Dna

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.