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

proofofthought

Public

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

Creat2025-10-03T05:26:36
Update2025-10-18T08:28:50
https://debarghag.github.io/proofofthought/
350
Stars
1
Stars Increase