Home
Information

AI Dataset Collection

Large-scale datasets and benchmarks for training, evaluating, and testing models to measure

Tools

Intelligent Document Recognition

Comprehensive Text Extraction and Document Processing Solutions for Users

AI Tutorial

LeanAgent

Public

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.

Creat2024-09-24T02:35:02
Update2025-06-14T02:30:50
https://deepwiki.com/lean-dojo/LeanAgent
36
Stars
0
Stars Increase