Towards Reliable Proof Generation with LLMs: A Neuro-Symbolic Approach. - Oren Sultan; Eitan Stern; Dafna Shahaf (CoRR, 2025)