Rare find
proofofthought. Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)
github.com/DebarghaG/proofofthought
Problem
Audience
Updates
No founder updates yet. Check back soon.
Problem
Audience