Wilson Sy

Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning

Autoformalization, the task of translating informal mathematics into formal machine-verifiable languages, has long been challenging, even for individual statements. Beyond the statement level, mathematicians invest substantial effort in formalizing reusable abstractions such as common definitions an…