Artificial Intelligence

Authors and titles for April 2025

[1] arXiv:2504.00063 [pdf, html, other]

Title: The Axiom-Based Atlas: A Structural Mapping of Theorems via Foundational Proof Vectors

Harim Yoo

Subjects: Artificial Intelligence (cs.AI); Logic (math.LO)

[2] arXiv:2504.00125 [pdf, html, other]

Title: LLMs for Explainable AI: A Comprehensive Survey

Ahsan Bilal, David Ebert, Beiyu Lin

Comments: This manuscript is intended for submission to ACM Transactions on Intelligent Systems and Technology

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

[3] arXiv:2504.00226 [pdf, html, other]

Title: Large Language Models in Numberland: A Quick Test of Their Numerical Reasoning Abilities

Roussel Rahman

Subjects: Artificial Intelligence (cs.AI)

[4] arXiv:2504.00277 [pdf, html, other]

Title: Rack Position Optimization in Large-Scale Heterogeneous Data Centers

Chang-Lin Chen, Jiayu Chen, Tian Lan, Zhaoxia Zhao, Hongbo Dong, Vaneet Aggarwal

Comments: Extended version of paper accepted at The International Conference on Automated Planning and Scheduling (ICAPS) 2025

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)

[5] arXiv:2504.00280 [pdf, html, other]

Title: Exploration and Adaptation in Non-Stationary Tasks with Diffusion Policies

Gunbir Singh Baveja

Comments: 7 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI)

[6] arXiv:2504.00299 [pdf, html, other]

Title: Collaborative LLM Numerical Reasoning with Local Data Protection

Min Zhang, Yuzhe Lu, Yun Zhou, Panpan Xu, Lin Lee Cheong, Chang-Tien Lu, Haozhu Wang

Subjects: Artificial Intelligence (cs.AI)

[7] arXiv:2504.00389 [pdf, other]

Title: CyberBOT: Towards Reliable Cybersecurity Education via Ontology-Grounded Retrieval Augmented Generation

Chengshuai Zhao, Riccardo De Maria, Tharindu Kumarage, Kumar Satvik Chaudhary, Garima Agrawal, Yiwen Li, Jongchan Park, Yuli Deng, Ying-Chih Chen, Huan Liu

Subjects: Artificial Intelligence (cs.AI)

[8] arXiv:2504.00424 [pdf, html, other]

Title: Hawkeye:Efficient Reasoning with Model Collaboration

Jianshu She, Zhuohao Li, Zhemin Huang, Qi Li, Peiran Xu, Haonan Li, Qirong Ho

Subjects: Artificial Intelligence (cs.AI)

[9] arXiv:2504.00509 [pdf, html, other]

Title: Recitation over Reasoning: How Cutting-Edge Language Models Can Fail on Elementary School-Level Reasoning Problems?

Kai Yan, Yufei Xu, Zhengyin Du, Xuesong Yao, Zheyu Wang, Xiaowen Guo, Jiecao Chen

Comments: 21 pages, 3 figures, 10 tables

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

[10] arXiv:2504.00613 [pdf, html, other]

Title: LLM-Guided Search for Deletion-Correcting Codes

Franziska Weindel, Reinhard Heckel

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT); Neural and Evolutionary Computing (cs.NE)

[11] arXiv:2504.00615 [pdf, html, other]

Title: Towards Responsible and Trustworthy Educational Data Mining: Comparing Symbolic, Sub-Symbolic, and Neural-Symbolic AI Methods

Danial Hooshyar, Eve Kikas, Yeongwook Yang, Gustav Šír, Raija Hämäläinen, Tommi Kärkkäinen, Roger Azevedo

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:2504.00727 [pdf, html, other]

Title: Personality-Driven Decision-Making in LLM-Based Autonomous Agents

Lewis Newsham, Daniel Prince

Comments: 10 pages, 8 figures. To be included in Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)

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

[13] arXiv:2504.00762 [pdf, html, other]

Title: Do We Truly Need So Many Samples? Multi-LLM Repeated Sampling Efficiently Scales Test-Time Compute

Jianhao Chen, Zishuo Xun, Bocheng Zhou, Han Qi, Qiaosheng Zhang, Yang Chen, Wei Hu, Yuzhong Qu, Wanli Ouyang, Shuyue Hu

Subjects: Artificial Intelligence (cs.AI)

[14] arXiv:2504.00795 [pdf, html, other]

Title: Explainable AI-Based Interface System for Weather Forecasting Model

Soyeon Kim, Junho Choi, Yeji Choi, Subeen Lee, Artyom Stitsyuk, Minkyoung Park, Seongyeop Jeong, Youhyun Baek, Jaesik Choi

Comments: 19 pages, 16 figures

Journal-ref: HCI International 2023. Lecture Notes in Computer Science, vol 14059. Springer, Cham

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

[15] arXiv:2504.00831 [pdf, html, other]

Title: Example-Based Concept Analysis Framework for Deep Weather Forecast Models

Soyeon Kim, Junho Choi, Subeen Lee, Jaesik Choi

Comments: 39 pages, 10 figures

Journal-ref: Artificial Intelligence for the Earth System, 2025, volume 4, Online ISSN: 2769-7525

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

[16] arXiv:2504.00843 [pdf, html, other]

Title: Investigating Large Language Models in Diagnosing Students' Cognitive Skills in Math Problem-solving

Hyoungwook Jin, Yoonsu Kim, Dongyun Jung, Seungju Kim, Kiyoon Choi, Jinho Son, Juho Kim

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

[17] arXiv:2504.00906 [pdf, html, other]

Title: Agent S2: A Compositional Generalist-Specialist Framework for Computer Use Agents

Saaket Agashe, Kyle Wong, Vincent Tu, Jiachen Yang, Ang Li, Xin Eric Wang

Comments: 18 pages, 13 figures, 8 tables

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

[18] arXiv:2504.00907 [pdf, html, other]

Title: Grounding Multimodal LLMs to Embodied Agents that Ask for Help with Reinforcement Learning

Ram Ramrakhya, Matthew Chang, Xavier Puig, Ruta Desai, Zsolt Kira, Roozbeh Mottaghi

Subjects: Artificial Intelligence (cs.AI)

[19] arXiv:2504.00938 [pdf, other]

Title: AI Judges in Design: Statistical Perspectives on Achieving Human Expert Equivalence With Vision-Language Models

Kristen M. Edwards, Farnaz Tehranchi, Scarlett R. Miller, Faez Ahmed

Comments: 21 pages, 8 tables, 6 figures, 8 tables in the appendix

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

[20] arXiv:2504.01154 [pdf, html, other]

Title: Remember, but also, Forget: Bridging Myopic and Perfect Recall Fairness with Past-Discounting

Ashwin Kumar, William Yeoh

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[21] arXiv:2504.01211 [pdf, html, other]

Title: Off-Policy Evaluation for Sequential Persuasion Process with Unobserved Confounding

Nishanth Venkatesh S., Heeseung Bang, Andreas A. Malikopoulos

Comments: 8 pages, 4 Figures

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Systems and Control (eess.SY)

[22] arXiv:2504.01278 [pdf, other]

Title: Strategize Globally, Adapt Locally: A Multi-Turn Red Teaming Agent with Dual-Level Learning

Si Chen, Xiao Yu, Ninareh Mehrabi, Rahul Gupta, Zhou Yu, Ruoxi Jia

Subjects: Artificial Intelligence (cs.AI)

[23] arXiv:2504.01331 [pdf, html, other]

Title: An Explainable Reconfiguration-Based Optimization Algorithm for Industrial and Reliability-Redundancy Allocation Problems

Dikshit Chauhan, Nitin Gupta, Anupam Yadav

Comments: 38 pages, 12 figures

Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

[24] arXiv:2504.01382 [pdf, other]

Title: An Illusion of Progress? Assessing the Current State of Web Agents

Tianci Xue, Weijian Qi, Tianneng Shi, Chan Hee Song, Boyu Gou, Dawn Song, Huan Sun, Yu Su

Comments: 22 pages, 16 figures, 4 tables

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

[25] arXiv:2504.01445 [pdf, html, other]

Title: Enabling Systematic Generalization in Abstract Spatial Reasoning through Meta-Learning for Compositionality

Philipp Mondorf, Shijia Zhou, Monica Riedler, Barbara Plank

Comments: 30 pages, 14 figures

Subjects: Artificial Intelligence (cs.AI)

[26] arXiv:2504.01538 [pdf, html, other]

Title: AI-Newton: A Concept-Driven Physical Law Discovery System without Prior Physical Knowledge

You-Le Fang, Dong-Shan Jian, Xiang Li, Yan-Qing Ma

Comments: 31 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Symbolic Computation (cs.SC); High Energy Physics - Phenomenology (hep-ph); Classical Physics (physics.class-ph)

[27] arXiv:2504.01551 [pdf, html, other]

Title: Identifying Macro Causal Effects in C-DMGs

Simon Ferreira, Charles K. Assaad

Subjects: Artificial Intelligence (cs.AI)

[28] arXiv:2504.01637 [pdf, html, other]

Title: LLM-mediated Dynamic Plan Generation with a Multi-Agent Approach

Reo Abe, Akifumi Ito, Kanata Takayasu, Satoshi Kurihara

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

[29] arXiv:2504.01644 [pdf, html, other]

Title: Proposition of Affordance-Driven Environment Recognition Framework Using Symbol Networks in Large Language Models

Kazuma Arii, Satoshi Kurihara

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

[30] arXiv:2504.01733 [pdf, html, other]

Title: Epistemic Skills: Reasoning about Knowledge and Oblivion

Xiaolong Liang, Yì N. Wáng

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

[31] arXiv:2504.01771 [pdf, html, other]

Title: Enhancing Interpretability in Generative AI Through Search-Based Data Influence Analysis

Theodoros Aivalis, Iraklis A. Klampanos, Antonis Troumpoukis, Joemon M. Jose

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

[32] arXiv:2504.01798 [pdf, html, other]

Title: A Novel Approach To Implementing Knowledge Distillation In Tsetlin Machines

Calvin Kinateder

Comments: Master's Thesis. 75 pages, 30 figures

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

[33] arXiv:2504.01848 [pdf, html, other]

Title: PaperBench: Evaluating AI's Ability to Replicate AI Research

Giulio Starace, Oliver Jaffe, Dane Sherburn, James Aung, Jun Shern Chan, Leon Maksin, Rachel Dias, Evan Mays, Benjamin Kinsella, Wyatt Thompson, Johannes Heidecke, Amelia Glaese, Tejal Patwardhan

Comments: 30 pages, 14 figures

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

[34] arXiv:2504.01849 [pdf, html, other]

Title: An Approach to Technical AGI Safety and Security

Rohin Shah, Alex Irpan, Alexander Matt Turner, Anna Wang, Arthur Conmy, David Lindner, Jonah Brown-Cohen, Lewis Ho, Neel Nanda, Raluca Ada Popa, Rishub Jain, Rory Greig, Samuel Albanie, Scott Emmons, Sebastian Farquhar, Sébastien Krier, Senthooran Rajamanoharan, Sophie Bridgers, Tobi Ijitoye, Tom Everitt, Victoria Krakovna, Vikrant Varma, Vladimir Mikulik, Zachary Kenton, Dave Orr, Shane Legg, Noah Goodman, Allan Dafoe, Four Flynn, Anca Dragan

Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY); Machine Learning (cs.LG)

[35] arXiv:2504.01883 [pdf, html, other]

Title: CoRAG: Collaborative Retrieval-Augmented Generation

Aashiq Muhamed, Mona Diab, Virginia Smith

Comments: NAACL 2024

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

[36] arXiv:2504.01911 [pdf, other]

Title: Advancing AI-Scientist Understanding: Making LLM Think Like a Physicist with Interpretable Reasoning

Yinggan Xu, Hana Kimlee, Yijia Xiao, Di Luo

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

[37] arXiv:2504.01935 [pdf, other]

Title: Critical Thinking: Which Kinds of Complexity Govern Optimal Reasoning Length?

Celine Lee, Alexander M. Rush, Keyon Vafa

Subjects: Artificial Intelligence (cs.AI)

[38] arXiv:2504.01951 [pdf, html, other]

Title: The LLM Wears Prada: Analysing Gender Bias and Stereotypes through Online Shopping Data

Massimiliano Luca, Ciro Beneduce, Bruno Lepri, Jacopo Staiano

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

[39] arXiv:2504.01990 [pdf, other]

Title: Advances and Challenges in Foundation Agents: From Brain-Inspired Intelligence to Evolutionary, Collaborative, and Safe Systems

Bang Liu, Xinfeng Li, Jiayi Zhang, Jinlin Wang, Tanjin He, Sirui Hong, Hongzhang Liu, Shaokun Zhang, Kaitao Song, Kunlun Zhu, Yuheng Cheng, Suyuchen Wang, Xiaoqiang Wang, Yuyu Luo, Haibo Jin, Peiyan Zhang, Ollie Liu, Jiaqi Chen, Huan Zhang, Zhaoyang Yu, Haochen Shi, Boyan Li, Dekun Wu, Fengwei Teng, Xiaojun Jia, Jiawei Xu, Jinyu Xiang, Yizhang Lin, Tianming Liu, Tongliang Liu, Yu Su, Huan Sun, Glen Berseth, Jianyun Nie, Ian Foster, Logan Ward, Qingyun Wu, Yu Gu, Mingchen Zhuge, Xiangru Tang, Haohan Wang, Jiaxuan You, Chi Wang, Jian Pei, Qiang Yang, Xiaoliang Qi, Chenglin Wu

Subjects: Artificial Intelligence (cs.AI)

[40] arXiv:2504.01995 [pdf, other]

Title: Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics

Hamed Mahdavi, Alireza Hashemi, Majid Daliri, Pegah Mohammadipour, Alireza Farhadi, Samira Malek, Yekta Yazdanifard, Amir Khasahmadi, Vasant Honavar

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

[41] arXiv:2504.02058 [pdf, other]

Title: Epistemic Closure and the Irreversibility of Misalignment: Modeling Systemic Barriers to Alignment Innovation

Andy Williams

Subjects: Artificial Intelligence (cs.AI)

[42] arXiv:2504.02111 [pdf, html, other]

Title: Exploring LLM Reasoning Through Controlled Prompt Variations

Giannis Chatziveroglou, Richard Yun, Maura Kelleher

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

[43] arXiv:2504.02148 [pdf, html, other]

Title: OmniCellTOSG: The First Cell Text-Omic Signaling Graphs Dataset for Joint LLM and GNN Modeling

Heming Zhang, Tim Xu, Dekang Cao, Shunning Liang, Lars Schimmelpfennig, Levi Kaster, Di Huang, Carlos Cruchaga, Guangfu Li, Michael Province, Yixin Chen, Philip Payne, Fuhai Li

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

[44] arXiv:2504.02181 [pdf, html, other]

Title: A Survey of Scaling in Large Language Model Reasoning

Zihan Chen, Song Wang, Zhen Tan, Xingbo Fu, Zhenyu Lei, Peng Wang, Huan Liu, Cong Shen, Jundong Li

Subjects: Artificial Intelligence (cs.AI)

[45] arXiv:2504.02193 [pdf, html, other]

Title: More is Less: The Pitfalls of Multi-Model Synthetic Preference Data in DPO Safety Alignment

Yifan Wang, Runjin Chen, Bolian Li, David Cho, Yihe Deng, Ruqi Zhang, Tianlong Chen, Zhangyang Wang, Ananth Grama, Junyuan Hong

Subjects: Artificial Intelligence (cs.AI)

[46] arXiv:2504.02227 [pdf, html, other]

Title: VEGAS: Towards Visually Explainable and Grounded Artificial Social Intelligence

Hao Li, Hao Fei, Zechao Hu, Zhengwei Yang, Zheng Wang

Comments: 9 pages, 5 figures, AAAI 2025

Subjects: Artificial Intelligence (cs.AI)

[47] arXiv:2504.02269 [pdf, html, other]

Title: Engineering Artificial Intelligence: Framework, Challenges, and Future Direction

Jay Lee, Hanqi Su, Dai-Yan Ji, Takanobu Minami

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

[48] arXiv:2504.02426 [pdf, html, other]

Title: Narrative Studio: Visual narrative exploration using LLMs and Monte Carlo Tree Search

Parsa Ghaffari, Chris Hokamp

Subjects: Artificial Intelligence (cs.AI)

[49] arXiv:2504.02430 [pdf, html, other]

Title: How Artificial Intelligence Leads to Knowledge Why: An Inquiry Inspired by Aristotle's Posterior Analytics

Guus Eelink, Kilian Rückschloß, Felix Weitkämper

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

[50] arXiv:2504.02467 [pdf, html, other]

Title: BOOST: Bootstrapping Strategy-Driven Reasoning Programs for Program-Guided Fact-Checking

Qisheng Hu, Quanyu Long, Wenya Wang

Comments: 18 pages, 5 figures

Subjects: Artificial Intelligence (cs.AI)