Artificial Intelligence

Authors and titles for March 2024

[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)

[231] arXiv:2403.14077 [pdf, html, other]

Title: Can ChatGPT Detect DeepFakes? A Study of Using Multimodal Large Language Models for Media Forensics

Shan Jia, Reilin Lyu, Kangran Zhao, Yize Chen, Zhiyuan Yan, Yan Ju, Chuanbo Hu, Xin Li, Baoyuan Wu, Siwei Lyu

Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR)

[232] arXiv:2403.14100 [pdf, html, other]

Title: Causal knowledge engineering: A case study from COVID-19

Steven Mascaro, Yue Wu, Ross Pearson, Owen Woodberry, Jessica Ramsay, Tom Snelling, Ann E. Nicholson

Comments: 22 pages (plus 19 pages in appendices), 9 figures, submitted for review

Subjects: Artificial Intelligence (cs.AI)

[233] arXiv:2403.14102 [pdf, html, other]

Title: DouRN: Improving DouZero by Residual Neural Networks

Yiquan Chen, Yingchao Lyu, Di Zhang

Journal-ref: CyberC 2023: 96-99

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

[234] arXiv:2403.14443 [pdf, html, other]

Title: Language Models Can Reduce Asymmetry in Information Markets

Nasim Rahaman, Martin Weiss, Manuel Wüthrich, Yoshua Bengio, Li Erran Li, Chris Pal, Bernhard Schölkopf

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Science and Game Theory (cs.GT); Machine Learning (cs.LG); Multiagent Systems (cs.MA); Social and Information Networks (cs.SI)

[235] arXiv:2403.14566 [pdf, html, other]

Title: A survey on Concept-based Approaches For Model Improvement

Avani Gupta, P J Narayanan

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

[236] arXiv:2403.14589 [pdf, html, other]

Title: ReAct Meets ActRe: When Language Agents Enjoy Training Data Autonomy

Zonghan Yang, Peng Li, Ming Yan, Ji Zhang, Fei Huang, Yang Liu

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

[237] arXiv:2403.14705 [pdf, html, other]

Title: Concept-Best-Matching: Evaluating Compositionality in Emergent Communication

Boaz Carmeli, Yonatan Belinkov, Ron Meir

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

[238] arXiv:2403.14733 [pdf, other]

Title: Open Knowledge Base Canonicalization with Multi-task Learning

Bingchen Liu, Huang Peng, Weixin Zeng, Xiang Zhao, Shijun Liu, Li Pan

Comments: arXiv admin note: substantial text overlap with arXiv:2310.16419

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

[239] arXiv:2403.14796 [pdf, html, other]

Title: Planning and Acting While the Clock Ticks

Andrew Coles, Erez Karpas, Andrey Lavrinenko, Wheeler Ruml, Solomon Eyal Shimony, Shahaf Shperberg

Subjects: Artificial Intelligence (cs.AI)

[240] arXiv:2403.14885 [pdf, html, other]

Title: Establishing a leader in a pairwise comparisons method

Jacek Szybowski, Konrad Kułakowski, Jiri Mazurek, Sebastian Ernst

Comments: 9 figures, 19 pages

Subjects: Artificial Intelligence (cs.AI); Cryptography and Security (cs.CR); Computers and Society (cs.CY); Discrete Mathematics (cs.DM)

[241] arXiv:2403.14972 [pdf, html, other]

Title: A Picture Is Worth a Graph: A Blueprint Debate Paradigm for Multimodal Reasoning

Changmeng Zheng, Dayong Liang, Wengyu Zhang, Xiao-Yong Wei, Tat-Seng Chua, Qing Li

Comments: Accepted by ACM Multimedia 2024

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Multiagent Systems (cs.MA); Multimedia (cs.MM)

[242] arXiv:2403.15137 [pdf, html, other]

Title: CACA Agent: Capability Collaboration based AI Agent

Peng Xu, Haoran Wang, Chuang Wang, Xu Liu

Comments: 4 pages,5 figures

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

[243] arXiv:2403.15251 [pdf, html, other]

Title: Safe Learning of PDDL Domains with Conditional Effects -- Extended Version

Argaman Mordoch, Enrico Scala, Roni Stern, Brendan Juba

Subjects: Artificial Intelligence (cs.AI)

[244] arXiv:2403.15297 [pdf, html, other]

Title: Sphere Neural-Networks for Rational Reasoning

Tiansi Dong, Mateja Jamnik, Pietro Liò

Subjects: Artificial Intelligence (cs.AI)

[245] arXiv:2403.15341 [pdf, html, other]

Title: Collaborative AI Teaming in Unknown Environments via Active Goal Deduction

Zuyuan Zhang, Hanhan Zhou, Mahdi Imani, Taeyoung Lee, Tian Lan

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

[246] arXiv:2403.15437 [pdf, html, other]

Title: Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery

Eamon Duede, Kevin Davey

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); History and Overview (math.HO)

[247] arXiv:2403.15456 [pdf, html, other]

Title: WoLF: Wide-scope Large Language Model Framework for CXR Understanding

Seil Kang, Donghyun Kim, Junhyeok Kim, Hyo Kyung Lee, Seong Jae Hwang

Comments: 11 pages main paper, 2 pages supplementary

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

[248] arXiv:2403.15504 [pdf, html, other]

Title: SymboSLAM: Semantic Map Generation in a Multi-Agent System

Brandon Curtis Colelough

Comments: 14 pages, 11 figures

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

[249] arXiv:2403.15574 [pdf, html, other]

Title: SensoryT5: Infusing Sensorimotor Norms into T5 for Enhanced Fine-grained Emotion Classification

Yuhan Xia, Qingqing Zhao, Yunfei Long, Ge Xu, Jia Wang

Comments: Accepted by CogALex 2024 conference

Subjects: Artificial Intelligence (cs.AI)

[250] arXiv:2403.15577 [pdf, html, other]

Title: Autonomous Driving With Perception Uncertainties: Deep-Ensemble Based Adaptive Cruise Control

Xiao Li, H. Eric Tseng, Anouck Girard, Ilya Kolmanovsky

Subjects: Artificial Intelligence (cs.AI); Robotics (cs.RO); Systems and Control (eess.SY)

[251] arXiv:2403.15586 [pdf, html, other]

Title: Generative AI in Education: A Study of Educators' Awareness, Sentiments, and Influencing Factors

Aashish Ghimire, James Prather, John Edwards

Subjects: Artificial Intelligence (cs.AI)

[252] arXiv:2403.15587 [pdf, html, other]

Title: Large language models for crowd decision making based on prompt design strategies using ChatGPT: models, analysis and challenges

Cristina Zuheros, David Herrera-Poyatos, Rosana Montes, Francisco Herrera

Subjects: Artificial Intelligence (cs.AI)

[253] arXiv:2403.15640 [pdf, html, other]

Title: Contextual Restless Multi-Armed Bandits with Application to Demand Response Decision-Making

Xin Chen, I-Hong Hou

Subjects: Artificial Intelligence (cs.AI)

[254] arXiv:2403.15696 [pdf, html, other]

Title: MixRED: A Mix-lingual Relation Extraction Dataset

Lingxing Kong, Yougang Chu, Zheng Ma, Jianbing Zhang, Liang He, Jiajun Chen

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

[255] arXiv:2403.15728 [pdf, other]

Title: Learnable WSN Deployment of Evidential Collaborative Sensing Model

Ruijie Liu, Tianxiang Zhan, Zhen Li, Yong Deng

Subjects: Artificial Intelligence (cs.AI)

[256] arXiv:2403.15760 [pdf, html, other]

Title: An Upload-Efficient Scheme for Transferring Knowledge From a Server-Side Pre-trained Generator to Clients in Heterogeneous Federated Learning

Jianqing Zhang, Yang Liu, Yang Hua, Jian Cao

Comments: Accepted by CVPR2024. We have incorporated additional analysis for the Stable Diffusion experiments in Appendix A

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)

[257] arXiv:2403.15779 [pdf, html, other]

Title: The Frontier of Data Erasure: Machine Unlearning for Large Language Models

Youyang Qu, Ming Ding, Nan Sun, Kanchana Thilakarathna, Tianqing Zhu, Dusit Niyato

Subjects: Artificial Intelligence (cs.AI)

[258] arXiv:2403.15864 [pdf, html, other]

Title: Using Large Language Models for OntoClean-based Ontology Refinement

Yihang Zhao, Neil Vetter, Kaveh Aryan

Subjects: Artificial Intelligence (cs.AI)

[259] arXiv:2403.15875 [pdf, html, other]

Title: LAMPER: LanguAge Model and Prompt EngineeRing for zero-shot time series classification

Zhicheng Du, Zhaotian Xie, Yan Tong, Peiwu Qin

Comments: Accepted as tiny paper in ICLR 2024

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

[260] arXiv:2403.15879 [pdf, html, other]

Title: TrustSQL: Benchmarking Text-to-SQL Reliability with Penalty-Based Scoring

Gyubok Lee, Woosog Chay, Seonhee Cho, Edward Choi

Comments: under review

Subjects: Artificial Intelligence (cs.AI)

[261] arXiv:2403.15901 [pdf, html, other]

Title: MatchSeg: Towards Better Segmentation via Reference Image Matching

Jiayu Huo, Ruiqiang Xiao, Haotian Zheng, Yang Liu, Sebastien Ourselin, Rachel Sparks

Comments: International Conference on Bioinformatics and Biomedicine (BIBM 2024)

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

[262] arXiv:2403.15916 [pdf, html, other]

Title: Multi-agent transformer-accelerated RL for satisfaction of STL specifications

Albin Larsson Forsberg, Alexandros Nikou, Aneta Vulgarakis Feljan, Jana Tumova

Comments: Submitted to L4DC 2024 conference

Subjects: Artificial Intelligence (cs.AI)

[263] arXiv:2403.15933 [pdf, html, other]

Title: Understanding Domain-Size Generalization in Markov Logic Networks

Florian Chen, Felix Weitkämper, Sagar Malhotra

Comments: To Appear in Proceedings of ECML 2024-Research Track

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

[264] arXiv:2403.15961 [pdf, html, other]

Title: SAT Encoding of Partial Ordering Models for Graph Coloring Problems

Daniel Faber, Adalat Jabrayilov, Petra Mutzel

Subjects: Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[265] arXiv:2403.16066 [pdf, html, other]

Title: A Temporal Graph Network Framework for Dynamic Recommendation

Yejin Kim, Youngbin Lee, Vincent Yuan, Annika Lee, Yongjae Lee

Comments: Presented at the AAAI 2024 Workshop on Recommendation Ecosystems: Modeling, Optimization and Incentive Design

Subjects: Artificial Intelligence (cs.AI)

[266] arXiv:2403.16071 [pdf, html, other]

Title: Landmark-Guided Cross-Speaker Lip Reading with Mutual Information Regularization

Linzhi Wu, Xingyu Zhang, Yakun Zhang, Changyan Zheng, Tiejun Liu, Liang Xie, Ye Yan, Erwei Yin

Comments: To appear in LREC-COLING 2024

Journal-ref: The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING 2024)

Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Multimedia (cs.MM)

[267] arXiv:2403.16097 [pdf, html, other]

Title: Can Language Models Pretend Solvers? Logic Code Simulation with LLMs

Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue

Comments: 12 pages, 8 figures

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

[268] arXiv:2403.16100 [pdf, html, other]

Title: Specifying Agent Ethics (Blue Sky Ideas)

Louise A. Dennis, Michael Fisher

Comments: To appear in Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems 2024

Subjects: Artificial Intelligence (cs.AI)

[269] arXiv:2403.16101 [pdf, html, other]

Title: Evaluating Fairness Metrics Across Borders from Human Perceptions

Yuya Sasaki, Sohei Tokuno, Haruka Maeda, Osamu Sakura

Subjects: Artificial Intelligence (cs.AI)

[270] arXiv:2403.16133 [pdf, html, other]

Title: SSHPool: The Separated Subgraph-based Hierarchical Pooling

Zhuo Xu, Lixin Cui, Ming Li, Yue Wang, Ziyu Lyu, Hangyuan Du, Lu Bai, Philip S. Yu, Edwin R. Hancock

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