DebarghaG/proofofthought

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

326 best points · 175 comments · 1 Hacker News post · 377 GitHub stars · View on GitHub

Hacker News discussions

• ProofOfThought: LLM-based reasoning using Z3 theorem proving (326 points, 175 comments, by barthelomew, 2025-10-04)