#proofsofthought — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proofsofthought, aggregated by home.social.
-
Use theorem provers to ensure the correctness of your LLM's reasoning
https://github.com/DebarghaG/proofofthought
#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought