Hacker NewsUse theorem provers to ensure the correctness of your LLM's reasoning
https://github.com/DebarghaG/proofofthought
#HackerNews #theoremprovers #LLM #correctness #reasoning #AIresearch #proofsofthought
GitHub - DebarghaG/proofofthought: "Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" published Sys2Reasoning Workshop NeurIPS 2024
"Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" published Sys2Reasoning Workshop NeurIPS 2024 - DebarghaG/proofofthought