Hu, J., Zhang, J., Zhao, Y., & Ringer, T. (2025). HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement.
Chicago-Zitierstil (17. Ausg.)Hu, Jilin, Jianyu Zhang, Yongwang Zhao, und Talia Ringer. HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement. 2025.
MLA-Zitierstil (9. Ausg.)Hu, Jilin, et al. HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.