@misc{hu-2025-hybridprover,
  author = {Jilin Hu and Jianyu Zhang and Yongwang Zhao and Talia Ringer},
  title = {HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement},
  year = {2025},
  month = {5},
  eprint = {2505.15740},
  archiveprefix = {arXiv}
}