Artificial Intelligence

Authors and titles for March 2024

[206] arXiv:2403.11734 [pdf, html, other]

Title: Learning General Policies for Classical Planning Domains: Getting Beyond C$_2$

Simon Ståhlberg, Blai Bonet, Hector Geffner

Comments: Submitted to IJCAI 2024

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[207] arXiv:2403.11807 [pdf, html, other]

Title: How Far Are We on the Decision-Making of LLMs? Evaluating LLMs' Gaming Ability in Multi-Agent Environments

Jen-tse Huang, Eric John Li, Man Ho Lam, Tian Liang, Wenxuan Wang, Youliang Yuan, Wenxiang Jiao, Xing Wang, Zhaopeng Tu, Michael R. Lyu

Comments: 11 pages of main text; 19 pages of appendices. Included models: GPT-3.5-{0613, 1106, 0125}, GPT-4-0125, Gemini-{1.0, 1.5)-Pro, LLaMA-3.1-{7, 70, 405}B, Mixtral-8x{7, 22}B, Qwen-2-72B

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[208] arXiv:2403.11905 [pdf, html, other]

Title: Tur[k]ingBench: A Challenge Benchmark for Web Agents

Kevin Xu, Yeganeh Kordi, Tanay Nayak, Ado Asija, Yizhong Wang, Kate Sanders, Adam Byerly, Jingyu Zhang, Benjamin Van Durme, Daniel Khashabi

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Human-Computer Interaction (cs.HC)

[209] arXiv:2403.12094 [pdf, html, other]

Title: Are LLMs Good Cryptic Crossword Solvers?

Abdelrahman "Boda" Sadallah, Daria Kotova, Ekaterina Kochmar

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Machine Learning (cs.LG)

[210] arXiv:2403.12106 [pdf, html, other]

Title: Circular Belief Propagation for Approximate Probabilistic Inference

Vincent Bouttier, Renaud Jardri, Sophie Deneve

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[211] arXiv:2403.12108 [pdf, html, other]

Title: Does AI help humans make better decisions? A statistical evaluation framework for experimental and observational studies

Eli Ben-Michael, D. James Greiner, Melody Huang, Kosuke Imai, Zhichao Jiang, Sooahn Shin

Subjects: Artificial Intelligence (cs.AI); General Economics (econ.GN); Applications (stat.AP); Methodology (stat.ME)

[212] arXiv:2403.12151 [pdf, html, other]

Title: Fusing Domain-Specific Content from Large Language Models into Knowledge Graphs for Enhanced Zero Shot Object State Classification

Filippos Gouidis, Katerina Papantoniou, Konstantinos Papoutsakis Theodore Patkos, Antonis Argyros, Dimitris Plexousakis

Comments: Accepted at the AAAI-MAKE 24

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[213] arXiv:2403.12153 [pdf, other]

Title: Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report

Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiří Švancara, Philipp Wanko

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)

[214] arXiv:2403.12162 [pdf, html, other]

Title: Intelligent Execution through Plan Analysis

Daniel Borrajo, Manuela Veloso

Comments: Published at IROS 21, 6 pages

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO)

[215] arXiv:2403.12201 [pdf, html, other]

Title: Compositional learning of functions in humans and machines

Yanli Zhou, Brenden M. Lake, Adina Williams

Comments: 7 pages, 6 figures

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)

[216] arXiv:2403.12308 [pdf, html, other]

Title: Gradient-based Fuzzy System Optimisation via Automatic Differentiation -- FuzzyR as a Use Case

Chao Chen, Christian Wagner, Jonathan M. Garibaldi

Subjects: Artificial Intelligence (cs.AI)

[217] arXiv:2403.12406 [pdf, html, other]

Title: Offline Imitation of Badminton Player Behavior via Experiential Contexts and Brownian Motion

Kuang-Da Wang, Wei-Yao Wang, Ping-Chun Hsieh, Wen-Chih Peng

Comments: Accepted by the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD 2024)

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[218] arXiv:2403.12417 [pdf, html, other]

Title: On Predictive planning and counterfactual learning in active inference

Aswin Paul, Takuya Isomura, Adeel Razi

Comments: 13 pages, 8 figures

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Methodology (stat.ME)

[219] arXiv:2403.12451 [pdf, html, other]

Title: End-to-End Neuro-Symbolic Reinforcement Learning with Textual Explanations

Lirui Luo, Guoxi Zhang, Hongming Xu, Yaodong Yang, Cong Fang, Qing Li

Comments: ICML 2024. Project page: this https URL

Subjects: Artificial Intelligence (cs.AI)

[220] arXiv:2403.12482 [pdf, html, other]

Title: Embodied LLM Agents Learn to Cooperate in Organized Teams

Xudong Guo, Kaixuan Huang, Jiale Liu, Wenhui Fan, Natalia Vélez, Qingyun Wu, Huazheng Wang, Thomas L. Griffiths, Mengdi Wang

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computers and Society (cs.CY); Multiagent Systems (cs.MA)

[221] arXiv:2403.12627 [pdf, html, other]

Title: Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code

Andreas Florath

Comments: 11 pages

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[222] arXiv:2403.12805 [pdf, html, other]

Title: Contextual Moral Value Alignment Through Context-Based Aggregation

Pierre Dognin, Jesus Rios, Ronny Luss, Inkit Padhi, Matthew D Riemer, Miao Liu, Prasanna Sattigeri, Manish Nagireddy, Kush R. Varshney, Djallel Bouneffouf

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[223] arXiv:2403.12869 [pdf, html, other]

Title: Regularization in Spider-Style Strategy Discovery and Schedule Construction

Filip Bártek, Karel Chvalovský, Martin Suda

Comments: 25 pages, 8 figures; updated cosmetically for publication in IJCAR 2024 proceedings

Journal-ref: Automated Reasoning. IJCAR 2024. 194-213

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[224] arXiv:2403.13311 [pdf, html, other]

Title: Multi-Robot Connected Fermat Spiral Coverage

Jingtao Tang, Hang Ma

Comments: accepted to ICAPS24

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Robotics (cs.RO)

[225] arXiv:2403.13313 [pdf, html, other]

Title: Polaris: A Safety-focused LLM Constellation Architecture for Healthcare

Subhabrata Mukherjee, Paul Gamble, Markel Sanz Ausin, Neel Kant, Kriti Aggarwal, Neha Manjunath, Debajyoti Datta, Zhengliang Liu, Jiayuan Ding, Sophia Busacca, Cezanne Bianco, Swapnil Sharma, Rae Lasko, Michelle Voisard, Sanchay Harneja, Darya Filippova, Gerry Meixiong, Kevin Cha, Amir Youssefi, Meyhaa Buvanesh, Howard Weingram, Sebastian Bierman-Lytle, Harpreet Singh Mangat, Kim Parikh, Saad Godil, Alex Miller

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[226] arXiv:2403.13433 [pdf, html, other]

Title: AgentGroupChat: An Interactive Group Chat Simulacra For Better Eliciting Emergent Behavior

Zhouhong Gu, Xiaoxuan Zhu, Haoran Guo, Lin Zhang, Yin Cai, Hao Shen, Jiangjie Chen, Zheyu Ye, Yifei Dai, Yan Gao, Yao Hu, Hongwei Feng, Yanghua Xiao

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computers and Society (cs.CY)

[227] arXiv:2403.13441 [pdf, html, other]

Title: Robustness Verifcation in Neural Networks

Adrian Wurm

Comments: 16 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[228] arXiv:2403.13447 [pdf, html, other]

Title: HyperLLaVA: Dynamic Visual and Language Expert Tuning for Multimodal Large Language Models

Wenqiao Zhang, Tianwei Lin, Jiang Liu, Fangxun Shu, Haoyuan Li, Lei Zhang, He Wanggui, Hao Zhou, Zheqi Lv, Hao Jiang, Juncheng Li, Siliang Tang, Yueting Zhuang

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV)

[229] arXiv:2403.13518 [pdf, html, other]

Title: Motion Generation from Fine-grained Textual Descriptions

Kunhang Li, Yansong Feng

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Robotics (cs.RO)

[230] arXiv:2403.13705 [pdf, html, other]

Title: Research Re: search & Re-search

Aske Plaat

Comments: PhD thesis Aske Plaat 20 June 1996. AlphaBeta, SSS*, MTD(f)

Subjects: Artificial Intelligence (cs.AI)