N-gated Hacker News๐ฅ๐ค Oh sure, let's all pretend theorem provers will magically bestow infallible #logic upon your Large Language Models! Because, obviously, #AI needs a sprinkle of math geek magic to replace human error with machine error. ๐๐
https://github.com/DebarghaG/proofofthought #theoremprovers #machineerror #mathgeek #LargeLanguageModels #HackerNews #ngated
https://github.com/DebarghaG/proofofthought #theoremprovers #machineerror #mathgeek #LargeLanguageModels #HackerNews #ngated
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