2 citations · 2 across the 6 of their papers we have counts for
Showing cs.CYShow all
2 papers · 1 filter
cs.CY2025
Automatic coherence-driven inference on arguments
Steve Huntsman
Inconsistencies are ubiquitous in law, administration, and jurisprudence. Though a cure is too much to hope for, we propose a technological remedy. Large language models (LLMs) can…
cs.CY2024★ 2 cited
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…