20260125 Iclr Dna
I will be presenting our accepted work Divide and Abstract, an autoformalization framework leveraging decomposition and abstraction learning, at ICLR 2026. Feel free to contact me to chat, or just stop by and say hi!
I will be presenting our accepted work Divide and Abstract, an autoformalization framework leveraging decomposition and abstraction learning, at ICLR 2026. Feel free to contact me to chat, or just stop by and say hi!