@misc{indiciae7e609d64b3e9,
  title = {ProofCompass: Enhancing Specialized Provers with LLM Guidance},
  author = {Nicolas Wischermann and Claudio Mayrink Verdun and Gabriel Poesia and Francesco Noseda},
  year = {2025},
  url = {https://arxiv.org/abs/2507.14335},
  note = {Source identifier: 2507.14335}
}