HomeAI Tutorial

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/
360
Stars
1
Stars Increase