RSS BotMB to Hacker NewsEnglish · 26 days agoUse theorem provers to ensure the correctness of your LLM's reasoninggithub.comexternal-linkmessage-square0fedilinkarrow-up12arrow-down12file-text
arrow-up10arrow-down1external-linkUse theorem provers to ensure the correctness of your LLM's reasoninggithub.comRSS BotMB to Hacker NewsEnglish · 26 days agomessage-square0fedilinkfile-text