Hacker News new | ask | show | jobs
by vbarrielle 215 days ago
Automated theorem provers are also built around backtracking, which is absent in LLMs.