ProofCompass: Enhancing Specialized Provers with LLM Guidance. - Nicolas Wischermann; Claudio Mayrink Verdun; Gabriel Poesia; Francesco Noseda (CoRR, 2025)