大模型推理能力

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

Towards a Formalisation of Value-based Actions and Consequentialist Ethics

Adam Wyner, Tomasz Zurek, DOrota Stachura-Zurek

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

Online Handbook of Argumentation for AI: Volume 4

Lars Bengel, Lydia Blümel, Elfia Bezou-Vrakatseli, Federico Castagna, Giulia D'Agostino, Isabelle Kuhlmann, Jack Mumford, Daphne Odekerken, Fabrizio Russo, Stefan Sarkadi, Madeleine Waller, Andreas Xydis

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

If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agents

Ke Yang, Jiateng Liu, John Wu, Chaoqi Yang, Yi R. Fung, Sha Li, Zixuan Huang, Xu Cao, Xingyao Wang, Yiquan Wang, Heng Ji, Chengxiang Zhai

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

LMaaS: Exploring Pricing Strategy of Large Model as a Service for Communication

Panlong Wu, Qi Liu, Yanjie Dong, Fangxin Wang

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

Finding Inductive Loop Invariants using Large Language Models

Adharsh Kamath, Aditya Senthilnathan, Saikat Chakraborty, Pantazis Deligiannis, Shuvendu K. Lahiri, Akash Lal, Aseem Rastogi, Subhajit Roy, Rahul Sharma

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

LEGO-Prover: Neural Theorem Proving with Growing Libraries

Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang

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

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu

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

Comments Accepted by EMNLP 2023. Code is available at https://github.com/menik1126/TRIGO

Multi-Agent Verification and Control with Probabilistic Model Checking

David Parker

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

A unified logical framework for explanations in classifier systems

Xinghan Liu, Emiliano Lorini

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

Comments 36 pages

Signifiers as a First-class Abstraction in Hypermedia Multi-Agent Systems

Danai Vachtsevanou, Andrei Ciortea, Simon Mayer, Jérémy Lemée

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

Journal ref Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems (2023) p. 1200-1208

Exploring Qualitative Research Using LLMs

Muneera Bano, Didar Zowghi, Jon Whittle

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

The Flawed Foundations of Fair Machine Learning

Robert Lee Poe, Soumia Zohra El Mestari

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

Comments This article is a preprint submitted to the Minds and Machines Special Issue on the (Un)fairness of AI on May 31st, 2023

Communicating Natural Programs to Humans and Machines

Samuel Acquaviva, Yewen Pu, Marta Kryven, Theodoros Sechopoulos, Catherine Wong, Gabrielle E Ecanow, Maxwell Nye, Michael Henry Tessler, Joshua B. Tenenbaum

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

Comments equal contributions: (author 1,2) and (author 3,4,5). 36th Conference on Neural Information Processing Systems (NeurIPS 2022) Track on Datasets and Benchmarks

Toward Adversarial Training on Contextualized Language Representation

Hongqiu Wu, Yongxiang Liu, Hanwen Shi, Hai Zhao, Min Zhang

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