2510.01530 2025-10-03 cs.AI 79% LOGicalThought: Logic-Based Ontological Grounding of LLMs for High-Assurance Reasoning Navapat Nananukul, Yue Zhang, Ryan Lee, Eric Boxer, Jonathan May, Vibhav Giridhar Gogate, Jay Pujara, Mayank Kejriwal 专题命中 逻辑推理 :reasoning(title,abstract);分类 cs.AI 详情 展开后加载摘要… URL PDF HTML 收藏 复制 复制简介 复制详情 生成图片 生成简图 生成详图