Qiu, R., Cao, Y., Liu, J., Guo, D., Gao, X., Zhi, L., & Feng, R. (2026). Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving.
Chicago-Zitierstil (17. Ausg.)Qiu, Ruichen, Yichuan Cao, Junqi Liu, Dakai Guo, Xiao-Shan Gao, Lihong Zhi, und Ruyong Feng. Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving. 2026.
MLA-Zitierstil (9. Ausg.)Qiu, Ruichen, et al. Mechanic: Sorrifier-Driven Formal Decomposition Workflow for Automated Theorem Proving. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.