ProofCompass: Enhancing Specialized Provers with LLM Guidance

18 July 2025

Papers citing "ProofCompass: Enhancing Specialized Provers with LLM Guidance"

2 / 2 papers shown

Title
Empowering Real-World: A Survey on the Technology, Practice, and Evaluation of LLM-driven Industry Agents Yihong Tang Kehai Chen Liang Yue Jinxin Fan Caishen Zhou ... Kaiyang Guo Xingshan Zeng Wenjing Cun L. Shang Min Zhang LLMAG 138 0 0 20 Oct 2025
Hilbert: Recursively Building Formal Proofs with Informal Reasoning Sumanth Varambally Thomas Voice Yanchao Sun Zhifeng Chen Rose Yu Ke Ye AIMat ReLM LRM 197 9 0 26 Sep 2025