ML Anthology

Sy, Wilson

1 publications

ICLR 2026 Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning Marcus J. Min, Yeqi Gao, Wilson Sy, Zhaoyu Li, Xujie Si, Osbert Bastani