Zhang, M., Dong, Y., Zhou, L., Xiao, B., & Liu, Y. (2026). Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers.
Chicago-Zitierstil (17. Ausg.)Zhang, Manqing, Yunwei Dong, Lingru Zhou, Bingxu Xiao, und Yepang Liu. Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers. 2026.
MLA-Zitierstil (9. Ausg.)Zhang, Manqing, et al. Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.