Amazon Patents a System That Gives LLMs a Formal Logic Brain

Large language models are famously bad at following strict logical rules — they hallucinate, they...