TY  - RPRT
TI  - MechMath: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving
AU  - Ruichen Qiu
AU  - Yichuan Cao
AU  - Junqi Liu
AU  - Dakai Guo
AU  - Xiao-Shan Gao
AU  - Lihong Zhi
AU  - Ruyong Feng
PY  - 2026
UR  - https://arxiv.org/abs/2603.24465
ID  - 2603.24465
ER  -