@misc{indiciae9b609df094d5,
  title = {HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement},
  author = {Jilin Hu and Jianyu Zhang and Yongwang Zhao and Talia Ringer},
  year = {2026},
  url = {https://arxiv.org/abs/2505.15740},
  note = {Source identifier: 2505.15740}
}