Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning - Min, Marcus; Gao, Yeqi; Sy, Wilson; Li, Zhaoyu; Si, Xujie; Bastani, Osbert (International Conference on Learning Representations, 2026)