APA (7th ed.) Citation

Wischermann, N., Verdun, C. M., Poesia, G., & Noseda, F. (2025). ProofCompass: Enhancing Specialized Provers with LLM Guidance.

Chicago Style (17th ed.) Citation

Wischermann, Nicolas, Claudio Mayrink Verdun, Gabriel Poesia, and Francesco Noseda. ProofCompass: Enhancing Specialized Provers with LLM Guidance. 2025.

MLA (9th ed.) Citation

Wischermann, Nicolas, et al. ProofCompass: Enhancing Specialized Provers with LLM Guidance. 2025.