@misc{indiciae10215b476c8c,
  title = {MechMath: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving},
  author = {Ruichen Qiu and Yichuan Cao and Junqi Liu and Dakai Guo and Xiao-Shan Gao and Lihong Zhi and Ruyong Feng},
  year = {2026},
  url = {https://arxiv.org/abs/2603.24465},
  note = {Source identifier: 2603.24465}
}