5 ms·Automated theorem provers are also built around backtracking, which is absent in LLMs.by vbarrielle 10mo agoAutomated theorem provers are also built around backtracking, which is absent in LLMs.