Prospects for inconsistency detection using large language models and sheaves. - Steve Huntsman; Michael Robinson 001; Ludmilla Huntsman (CoRR, 2024)