Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
ProofOfThought: LLM-based reasoning using Z3 theorem proving
github.com/DebarghaG
326 points
barthelomew
8 months ago
https://arxiv.org/abs/2409.17270
175 comments
Loading...
ProofOfThought: LLM-based reasoning using Z3 theorem proving | Heykuki News