Prospects for inconsistency detection using large language models and sheaves

Steve Huntsman, Michael Robinson, Ludmilla Huntsman

We demonstrate that large language models can produce reasonable numerical ratings of the logical consistency of claims. We also outline a mathematical approach based on sheaf theo…