Quantifying Cross-Query Contradictions in Multi-Query LLM Reasoning
量化多查询LLM推理中的跨查询矛盾
机构 * Virginia Tech(弗吉尼亚理工大学) ; Columbia University(哥伦比亚大学)
AI总结 本文研究多查询推理中的逻辑一致性,提出包含390个实例的基准测试,引入集级指标,通过提取承诺、验证全局可满足性及反例引导修复,减少跨查询矛盾并保持单查询准确性。
Comments Accepted at the ICLR 2026 Workshop on Logical Reasoning of Large Language Models. 9 pages, 6 tables, code and data at https://huggingface.co/datasets/rohitspider/cross_query_benchmark