大模型推理能力

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

Human Values in Multiagent Systems

Nardine Osman, Mark d'Inverno

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

"Get ready for a party": Exploring smarter smart spaces with help from large language models

Evan King, Haoxiang Yu, Sangsu Lee, Christine Julien

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

Comments 7 pages, 4 figures

An Abstract View on Optimizations in Propositional Frameworks

Yuliya Lierler

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

Bootstrapping Concept Formation in Small Neural Networks

Minija Tamosiunaite, Tomas Kulvicius, Florentin Wörgötter

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

Journal ref IEEE Transactions on Cognitive and Developmental Systems, 2022

Online Handbook of Argumentation for AI: Volume 3

Lars Bengel, Elfia Bezou-Vrakatseli, Lydia Blümel, Federico Castagna, Giulia D'Agostino, Daphne Odekerken, Minal Suresh Patil, Jordan Robinson, Hao Wu, Andreas Xydis

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

Formal Specifications from Natural Language

Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner

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

From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems

Mohammad Divband Soorati, Enrico H. Gerding, Enrico Marchioni, Pavel Naumov, Timothy J. Norman, Sarvapali D. Ramchurn, Bahar Rastegari, Adam Sobey, Sebastian Stein, Danesh Tarpore, Vahid Yazdanpanah, Jie Zhang

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

Comments Appears in the Special Issue on Multi-Agent Systems Research in the United Kingdom

Journal ref AI Communications, vol. 35, no. 4, pp. 443-457, 2022

Type theory in human-like learning and inference

Felix A. Sosa, Tomer Ullman

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

Comments 5 pages, 0 figures, accepted into Beyond Bayes ICML '22

Autonomous Intelligent Software Development

Mark Alan Matties

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

Comments 7 pages, 6 figures; This paper is a pre-print version submitted elsewhere for publication and may be removed without notice

Cooperative Reinforcement Learning on Traffic Signal Control

Chi-Chun Chao, Jun-Wei Hsieh, Bor-Shiun Wang

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

Automated Kantian Ethics: A Faithful Implementation

Lavanya Singh

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

Comments 20 pages, 8 figures, to appear in KI: 45th German Conference on Artificial Intelligence

A Novel Multi-Agent Scheduling Mechanism for Adaptation of Production Plans in Case of Supply Chain Disruptions

Jing Tan, Lars Braubach, Kai Jander, Rongjun Xu, Kai Chen

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

Towards General Natural Language Understanding with Probabilistic Worldbuilding

Abulhair Saparov, Tom M. Mitchell

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

Comments Accepted to TACL; pre-MIT Press publication version

Program Synthesis Guided Reinforcement Learning for Partially Observed Environments

Yichen David Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard

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

Journal ref NeurIPS 2021

An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts

Rui Zhao

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

Comments Accepted to IJCAI 2021 DC

Online Handbook of Argumentation for AI: Volume 2

OHAAI Collaboration, Andreas Brannstrom, Federico Castagna, Theo Duchatelle, Matt Foulis, Timotheus Kampik, Isabelle Kuhlmann, Lars Malmqvist, Mariela Morveli-Espinoza, Jack Mumford, Stipe Pandzic, Robin Schaefer, Luke Thorburn, Andreas Xydis, Antonio Yuste-Ginel, Heng Zheng

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