Prospects for inconsistency detection using large language models and sheaves

Re-assign community