HomeAI Tutorial
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

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
41
Stars
0
Stars Increase