大模型推理能力

Decoupling the components of geometric understanding in Vision Language Models

Eliza Kosoy, Annya Dahmani, Andrew K. Lampinen, Iulia M. Comsa, Soojin Jeong, Ishita Dasgupta, Kelsey Allen

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

Comments 8 pages

Valuable Hallucinations: Realizable Non-realistic Propositions

Qiucheng Chen, Bo Wang

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

Comments 13 pages

Towards A Litmus Test for Common Sense

Hugo Latapie

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

Large Process Models: A Vision for Business Process Management in the Age of Generative AI

Timotheus Kampik, Christian Warmuth, Adrian Rebmann, Ron Agam, Lukas N. P. Egger, Andreas Gerber, Johannes Hoffart, Jonas Kolk, Philipp Herzig, Gero Decker, Han van der Aa, Artem Polyvyanyy, Stefanie Rinderle-Ma, Ingo Weber, Matthias Weidlich

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

Journal ref Künstl Intell (2024)

Disagree and Commit: Degrees of Argumentation-based Agreements

Timotheus Kampik, Juan Carlos Nieves

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

Comments To appear eventually in the Autonomous Agents and Multi-Agent Systems journal

Combined Hyper-Extensible Extremely-Secured Zero-Trust CIAM-PAM architecture

Shivom Aggarwal, Shourya Mehra, Safeer Sathar

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

CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings

Shanghaoran Quan, Jiaxi Yang, Bowen Yu, Bo Zheng, Dayiheng Liu, An Yang, Xuancheng Ren, Bofei Gao, Yibo Miao, Yunlong Feng, Zekun Wang, Jian Yang, Zeyu Cui, Yang Fan, Yichang Zhang, Binyuan Hui, Junyang Lin

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

HumanEval Pro and MBPP Pro: Evaluating Large Language Models on Self-invoking Code Generation

Zhaojian Yu, Yilun Zhao, Arman Cohan, Xiao-Ping Zhang

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

TrojanWhisper: Evaluating Pre-trained LLMs to Detect and Localize Hardware Trojans

Md Omar Faruque, Peter Jamieson, Ahmad Patooghy, Abdel-Hameed A. Badawy

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

dafny-annotator: AI-Assisted Verification of Dafny Programs

Gabriel Poesia, Chloe Loughridge, Nada Amin

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

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection

Cristian Curaba, Denis D'Ambrosi, Alessandro Minisini, Natalia Pérez-Campanero Antolín

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

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4

Xichen Tang

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

Dreaming Out Loud: A Self-Synthesis Approach For Training Vision-Language Models With Developmentally Plausible Data

Badr AlKhamissi, Yingtian Tang, Abdülkadir Gökce, Johannes Mehrer, Martin Schrimpf

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

Comments Accepted to BabyLM Challenge at CoNLL 2024

Building Multi-Agent Copilot towards Autonomous Agricultural Data Management and Analysis

Yu Pan, Jianxin Sun, Hongfeng Yu, Joe Luck, Geng Bai, Nipuna Chamara, Yufeng Ge, Tala Awada

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

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis

Shraddha Barke, Emmanuel Anaya Gonzalez, Saketh Ram Kasibatla, Taylor Berg-Kirkpatrick, Nadia Polikarpova

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

Comments Accepted at NeurIPS 2024

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware

Minwoo Kang, Mingjie Liu, Ghaith Bany Hamad, Syed Suhaib, Haoxing Ren

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

LLM-initialized Differentiable Causal Discovery

Shiv Kampani, David Hidary, Constantijn van der Poel, Martin Ganahl, Brenda Miao

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

Autoformalization of Game Descriptions using Large Language Models

Agnieszka Mensfelt, Kostas Stathis, Vince Trencsenyi

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

Comments code: https://github.com/dicelab-rhul/game-formaliser

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving

Xin Quan, Marco Valentino, Louise A. Dennis, André Freitas

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

Comments Camera-ready for EMNLP 2024

Towards Understanding and Enhancing Security of Proof-of-Training for DNN Model Ownership Verification

Yijia Chang, Hanrui Jiang, Chao Lin, Xinyi Huang, Jian Weng

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

Comments Accepted by USENIX Security 2025 (Major Revision -> Accept)

TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts

Ruida Wang, Jipeng Zhang, Yizhen Jia, Rui Pan, Shizhe Diao, Renjie Pi, Tong Zhang

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

"My Grade is Wrong!": A Contestable AI Framework for Interactive Feedback in Evaluating Student Essays

Shengxin Hong, Chang Cai, Sixuan Du, Haiyue Feng, Siyuan Liu, Xiuyi Fan

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

Human-Aware Belief Revision: A Cognitively Inspired Framework for Explanation-Guided Revision of Human Models

Stylianos Loukas Vasileiou, William Yeoh

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

A Survey on Deep Learning for Theorem Proving

Zhaoyu Li, Jialiang Sun, Logan Murphy, Qidong Su, Zenan Li, Xian Zhang, Kaiyu Yang, Xujie Si

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

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates

Colin Shea-Blymyer, Houssam Abbas

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

ChatGPT and post-test probability

Samuel J. Weisenthal

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

Comments 138 pages, 4 tables

Large Language Models are Few-shot Generators: Proposing Hybrid Prompt Algorithm To Generate Webshell Escape Samples

Mingrui Ma, Lansheng Han, Chunjie Zhou

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

Comments 21 pages, 17 figures

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Huajian Xin, Daya Guo, Zhihong Shao, Zhizhou Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang

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

Automated Repair of AI Code with Large Language Models and Formal Verification

Yiannis Charalambous, Edoardo Manino, Lucas C. Cordeiro

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

A novel interface for adversarial trivia question-writing

Jason Liu

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

Comments 17 pages, 1 figure, 1 table