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: 23 pages, 3 figures, 10 tables. V2 refines related work and acknowledgement, and adds links to chat logs for qualitative studies

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)