Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving. - Ruichen Qiu; Yichuan Cao; Junqi Liu; Dakai Guo; Xiao-Shan Gao; Lihong Zhi; Ruyong Feng (CoRR, 2026)