TY  - RPRT
TI  - DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
AU  - Youyuan Zhang
AU  - Jialiang Sun
AU  - Hangrui Bi
AU  - Chuqin Geng
AU  - Wenjie Ma
AU  - Zhaoyu Li
AU  - Xujie Si
PY  - 2026
UR  - https://arxiv.org/abs/2604.26311
ID  - 2604.26311
ER  -