2 papers
cs.AI2026
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
Youyuan Zhang, Jialiang Sun, Hangrui Bi +4
We introduce DreamProver, an agentic framework that leverages a "wake-sleep" program induction paradigm to discover reusable lemmas for formal theorem proving. Existing approaches…
physics.chem-ph2025
DeePMD-kit v3: A Multiple-Backend Framework for Machine Learning Potentials
Jinzhe Zeng, Duo Zhang, Anyang Peng +44
In recent years, machine learning potentials (MLPs) have become indispensable tools in physics, chemistry, and materials science, driving the development of software packages for m…