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

acl2-jupyter

Public

A Docker image for running the ACL2 theorem proving system and books in JupyterLab.

Creat2025-08-05T16:47:05
Update2025-09-28T08:35:16
5
Stars
0
Stars Increase