TY  - RPRT
TI  - HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement
AU  - Jilin Hu
AU  - Jianyu Zhang
AU  - Yongwang Zhao
AU  - Talia Ringer
PY  - 2026
UR  - https://arxiv.org/abs/2505.15740
ID  - 2505.15740
ER  -