AI RESEARCH
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
arXiv CS.AI
•
ArXi:2604.26311v1 Announce Type: new