Ma, D., Ma, K., Guo, S., Shi, Y., Zhao, E., Shi, J., . . . Wang, Z. (2026). OProver: A Unified Framework for Agentic Formal Theorem Proving.
Chicago-Zitierstil (17. Ausg.)Ma, David, et al. OProver: A Unified Framework for Agentic Formal Theorem Proving. 2026.
MLA-Zitierstil (9. Ausg.)Ma, David, et al. OProver: A Unified Framework for Agentic Formal Theorem Proving. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.