大模型推理能力

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning

Alexander Beiser, David Penz, Nysret Musliu

机构 * Johannes Kepler University Linz（约翰内斯·开普勒大学林茨） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments To appear in the proceedings of The Second Workshop on Knowledge Graphs and Neurosymbolic AI (KG-NeSy) Co-located with SEMANTiCS 2025 Conference, Vienna, Austria - September 3rd, 2025

Reasoning with RAGged events: RAG-Enhanced Event Knowledge Base Construction and reasoning with proof-assistants

Stergios Chatzikyriakidis

机构 * Computational Linguistics and Language Technology lab（计算语言学与语言技术实验室） ； Department of Philology（文学系） ； University of Crete（克里特大学） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

Leanabell-Prover: Posttraining Scaling in Formal Reasoning

Jingyuan Zhang, Qi Wang, Xingguang Ji, Yahui Liu, Yang Yue, Fuzheng Zhang, Di Zhang, Guorui Zhou, Kun Gai

机构 * Kuaishou Technology（快手科技） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments 23 pages, 6 figures

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving

Zhenwen Liang, Linfeng Song, Yang Li, Tao Yang, Feng Zhang, Haitao Mi, Dong Yu

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments Work in progress

AI-Driven Scholarly Peer Review via Persistent Workflow Prompting, Meta-Prompting, and Meta-Reasoning

Evgeny Markhasin

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments 23 pages, 37 pages (references and appendixes)

Clarifying Before Reasoning: A Coq Prover with Structural Context

Yanzhen Lu, Hanbin Yang, Xiaodie Wang, Ge Zhang, Biao Li, Chenxu Fu, Chao Li, Yang Yuan, Andrew Chi-Chih Yao

机构 * Shanghai Qizhi Institute（上海启智研究院） ； IIIS, Tsinghua University（清华大学信息科学技术研究院） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models

Chenrui Cao, Liangcheng Song, Zenan Li, Xinyi Le, Xian Zhang, Hui Xue, Fan Yang

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments 31 pages. Associated code and results are available at https://github.com/microsoft/DSP-Plus

Thinking in Character: Advancing Role-Playing Agents with Role-Aware Reasoning

Yihong Tang, Kehai Chen, Muyun Yang, Zhengyu Niu, Jing Li, Tiejun Zhao, Min Zhang

机构 * Harbin Institute of Technology（哈尔滨工业大学） ； Baidu Inc.（百度公司） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

ShieldVLM: Safeguarding the Multimodal Implicit Toxicity via Deliberative Reasoning with LVLMs

Shiyao Cui, Qinglin Zhang, Xuan Ouyang, Renmiao Chen, Zhexin Zhang, Yida Lu, Hongning Wang, Han Qiu, Minlie Huang

机构 * The Conversational AI (CoAI) group, DCST, Tsinghua University China（清华大学人工智能对话组，国防科技大学，清华大学） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

ARC-NCA: Towards Developmental Solutions to the Abstraction and Reasoning Corpus

Etienne Guichard, Felix Reimers, Mia Kvalsund, Mikkel Lepperød, Stefano Nichele

机构 * University of Oslo（奥斯陆大学） ； Simula Research Laboratory（Simula研究实验室） ； Oslo Metropolitan University（奥斯陆 Metropolitan 大学） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Proof-of-TBI -- Fine-Tuned Vision Language Model Consortium and OpenAI-o3 Reasoning LLM-Based Medical Diagnosis Support System for Mild Traumatic Brain Injury (TBI) Prediction

Ross Gore, Eranga Bandara, Sachin Shetty, Alberto E. Musto, Pratip Rana, Ambrosio Valencia-Romero, Christopher Rhea, Lobat Tayebi, Heather Richter, Atmaram Yarlagadda, Donna Edmonds, Steven Wallace, Donna Broshek

机构 * Old Dominion University（旧 Dominion 大学） ； McDonald Army Health Center（麦克唐纳陆军医疗中心） ； BRAINBox Solutions（BRAINBox 解决方案） ； UVA Health（弗吉尼亚大学健康系统） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, Jianqiao Lu, Hugues de Saxcé, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments 22 pages

Proof Flow: Preliminary Study on Generative Flow Network Language Model Tuning for Formal Reasoning

Matthew Ho, Vincent Zhu, Xiaoyin Chen, Moksh Jain, Nikolay Malkin, Edwin Zhang

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)

Nicolas Troquard, Martina De Sanctis, Paola Inverardi, Patrizio Pelliccione, Gian Luca Scoccia

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments In proceedings of the 38th Annual AAAI Conference on Artificial Intelligence

Reasoning Runtime Behavior of a Program with LLM: How Far Are We?

Junkai Chen, Zhiyuan Pan, Xing Hu, Zhenhao Li, Ge Li, Xin Xia

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

Comments Accepted by 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025). Our REval leaderboard is available at https://r-eval.github.io

A Neurodiversity-Inspired Solver for the Abstraction \& Reasoning Corpus (ARC) Using Visual Imagery and Program Synthesis

James Ainooson, Deepayan Sanyal, Joel P. Michelson, Yuan Yang, Maithilee Kunda

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models

Zezhong Chen, Yuxin Deng, Wenjie Du

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments 38 pages

Large Language Models on the Chessboard: A Study on ChatGPT's Formal Language Comprehension and Complex Reasoning Skills

Mu-Tien Kuo, Chih-Chung Hsueh, Richard Tzong-Han Tsai

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

Reasoning about Causality in Games

Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael Wooldridge

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments Published in Artificial Intelligence (2023)

An Argumentation-Based Legal Reasoning Approach for DL-Ontology

Zhe Yu, Yiwei Lu

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments 16 pages, 1 figure

Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability

Kyle Richardson, Ashish Sabharwal

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

Comments Accepted to AAAI-2022, AAAI preprint

Negation in Cognitive Reasoning

Claudia Schon, Sophie Siebert, Frieder Stolzenburg

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.CL

Comments 19 pages, 5 figures, 4 tables, extended version

Journal ref In Stefan Edelkamp, Ralf Moeller, and Elmar Rueckert, editors, KI 2021: Advances in Artificial Intelligence - 44th German Conference on AI, LNAI 12873, pages 217-232. Springer, 2021

Proof-Carrying Plans: a Resource Logic for AI Planning

Alasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick

专题命中 代码与定理证明 ：planning(title,abstract)；分类 cs.AI

Comments PPDP 2020, 13 pages, 9 figures

Towards United Reasoning for Automatic Induction in Isabelle/HOL

Yutaka Nagashima

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments This is the pre-print of our short-paper accepted at the 34th Annual Conference of the Japanese Society for Artificial Intelligence, 2020 (https://www.ai-gakkai.or.jp/jsai2020/en)

Learning Dynamics of Attention: Human Prior for Interpretable Machine Reasoning

Wonjae Kim, Yoonho Lee

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.LG

Comments 20 pages, 18 figures, 2 tables

Stream Reasoning-Based Control of Caching Strategies in CCN Routers

Harald Beck, Bruno Bierbaumer, Minh Dao-Tran, Thomas Eiter, Hermann Hellwagner, Konstantin Schekotihin

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments 21 pages, 8 figures

Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies

Gregor Gössler, Oleg Sokolsky

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Journal ref EPTCS 224, 2016

Representing and Reasoning about Game Strategies

Dongmo Zhang, Michael Thielsher

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

A Formal Analysis of Required Cooperation in Multi-agent Planning

Yu Zhang, Subbarao Kambhampati

专题命中 代码与定理证明 ：planning(title,abstract)；分类 cs.AI

Rational Nonmonotonic Reasoning

Carl Kadie

专题命中 代码与定理证明 ：reasoning(title,abstract)；分类 cs.AI

Comments Appears in Proceedings of the Fourth Conference on Uncertainty in Artificial Intelligence (UAI1988)