@article{mechanicsorrifierdrivenformaldecompositi,
  title = {Mechanic: 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},
  eprint = {2603.24465},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2603.24465},
}