TY  - RPRT
TI  - ProofCompass: Enhancing Specialized Provers with LLM Guidance
AU  - Nicolas Wischermann
AU  - Claudio Mayrink Verdun
AU  - Gabriel Poesia
AU  - Francesco Noseda
PY  - 2025
UR  - https://arxiv.org/abs/2507.14335
ID  - 2507.14335
ER  -