LeanAgent
Python
★ 79
updated 1y ago
LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.
No plain-English explanation yet — one is being written right now. Check back in a minute.