HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1. 1DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data2024 · 6 citations
2. 2Hilbert: Recursively Building Formal Proofs with Informal Reasoning2025
3. 3TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts2024
4. 4Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean2024 · 5 citations
5. 5Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving2024