news

Jan 26, 2026 Our work Divide and Abstract, an autoformalization framework leveraging decomposition and abstraction learning, is accepted to ICLR 2026!