ProofOfThought: LLM-based reasoning using Z3 theorem proving

news.ycombinator.com

saved by: 0 people
related read on: ProofOfThought: LLM-based reasoning using Z3 theorem proving discussion