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

LeanDojoChatGPT

Public

ChatGPT plugin for theorem proving in Lean

Creat2023-06-21T09:41:46
Update2025-03-21T16:47:23
https://leandojo.org
123
Stars
0
Stars Increase

Related projects