DebarghaG / proofofthoughtLinks

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

Alternatives and similar repositories for proofofthought

Users that are interested in proofofthought are comparing it to the libraries listed below

Sorting: