Wischermann, N., Verdun, C. M., Poesia, G., & Noseda, F. (2025). ProofCompass: Enhancing Specialized Provers with LLM Guidance.
Chicago-Zitierstil (17. Ausg.)Wischermann, Nicolas, Claudio Mayrink Verdun, Gabriel Poesia, und Francesco Noseda. ProofCompass: Enhancing Specialized Provers with LLM Guidance. 2025.
MLA-Zitierstil (9. Ausg.)Wischermann, Nicolas, et al. ProofCompass: Enhancing Specialized Provers with LLM Guidance. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.