DebarghaG / proofofthoughtLinks

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

Alternatives and similar repositories for proofofthought

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

Sorting: