1
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
神经符号框架通过操作树实现自动形式化，ICML 2026论文提出分解-结构-修复的创新路线，助力数学推理与AI融合。
arXiv:2604.19000v2 Announce Type: replace-cross Abstract: Statement autoformalization acts as a critical bridge between human mathematics and formal m…