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

LeanDojo

Public

Tool for data extraction and interacting with Lean programmatically.

Creat2023-06-14T06:04:26
Update2025-08-07T09:44:25
https://leandojo.org
707
Stars
0
Stars Increase

Related projects