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

Re-assign community