📝Official model and dataset for the paper: Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees