20260125 Iclr Dna
Our work Divide and Abstract, an autoformalization framework leveraging decomposition and abstraction learning, is accepted to ICLR 2026!
Our work Divide and Abstract, an autoformalization framework leveraging decomposition and abstraction learning, is accepted to ICLR 2026!