Chen, T., & Li, Z. (2026). A Theoretical Framework for Self-Play Theorem Proving Algorithms.
Chicago-Zitierstil (17. Ausg.)Chen, Thomas, und Zhiyuan Li. A Theoretical Framework for Self-Play Theorem Proving Algorithms. 2026.
MLA-Zitierstil (9. Ausg.)Chen, Thomas, und Zhiyuan Li. A Theoretical Framework for Self-Play Theorem Proving Algorithms. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.