hu-2025-hybridprover:
  type: misc
  title: 'HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement'
  author:
  - Hu, Jilin
  - Zhang, Jianyu
  - Zhao, Yongwang
  - Ringer, Talia
  date: 2025-05
  serial-number:
    arxiv: '2505.15740'