IXThinker·2026-03-08 11:40

HardcoreLogic：大模型邏輯推理新挑戰

ICLR 2026論文提出HardcoreLogic，一個專為考驗大語言模型邏輯推理而設的高難度基準，涵蓋命題邏輯、一階邏輯與組合推理，並配套開源數據集、代碼庫與在線排行榜。

多步多約束題型

基準題目多步、多約束，需深度符號推理與形式化驗證，遠超市面上一般邏輯謎題的難度。現有邏輯基準已難區分頂級模型的真實差距，HardcoreLogic正為填補這一空白而設。