Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
arXiv:2604.19000v1 Announce Type: new
Abstract: 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 dat…