RULEBREAKERS: Challenging LLMs at the Crossroads between Formal Logic and Human-like Reasoning
机构 * University of Sheffield, Sheffield, UK（谢菲尔德大学）
专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL
Comments Accepted by ICML 2025
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
1. 逻辑推理 2 篇
CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
机构 * Sichuan University（四川大学） ； The Hong Kong University of Science and Technology（香港科学与技术大学）
专题命中 逻辑推理 ：chain-of-thought(abstract)；CoT(abstract)；分类 cs.AI
