Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees

ArXi:2604.19000v1 Announce Type: cross Statement autoformalization acts as a critical bridge between human mathematics and formal mathematics by translating natural language problems into formal language. While prior works have focused on data synthesis and diverse