←── back to feed
/topics/arxiv-cs-ai-papers-june-12-2026

arXiv cs.AI papers June 12 2026

50 items●1 sources●updated 54d ago●trend 0

On June 12, 2026, arXiv's cs.AI section published 20 papers spanning agent frameworks, formal reasoning, safety evaluation, and multimodal learning. Topics include tool-use optimization for LLM agents, tree-search cognition layers, clinical LLM deployment, AGI definitions, and unlearning benchmarks for multimodal models.

  • ToolSense (arXiv:2606.12451) audits parametric tool retrieval in LLMs using virtual token encoding fine-tuned in two stages
  • Arbor (arXiv:2606.12563) introduces tree search as shared working memory across multi-agent systems in stateful action spaces
  • Pythagoras-Prover (arXiv:2606.12594) offers compute-efficient Lean theorem provers at 4B and 32B parameters plus diffusion-based variant
  • SciAgentArena (arXiv:2606.12736) benchmarks AI agents on real-world scientific tasks with interactive evaluation support
  • MLUBench (arXiv:2606.12809) provides large-scale benchmark with 127 examples for lifelong unlearning in multimodal LLMs
[BLG]blog/rss50
ToolSense: A Diagnostic Framework for Auditing Parametric Tool Knowledge in LLMs
arXiv cs.AI · Ashutosh Hathidara, Sai Shruthi Sistla, Sebastian Schreiber, Sahil Bansal · 55d
Arbor: Tree Search as a Cognition Layer for Autonomous Agents
arXiv cs.AI · Neha Prakriya, Chaojun Hou, Zheng Gong, Huasha Zhao, Xi Zhao, Mou Li, Zhenyu Gu, Emad Barsoum · 55d
Strategic Decision Support for AI Agents
arXiv cs.AI · Shayan Kiyani, Sima Noorani, George Pappas, Hamed Hassani · 55d
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
arXiv cs.AI · Joshua Ong Jun Leang, Zheng Zhao, Mihaela C\u{a}t\u{a}lina Stoian, Qiyuan Xu, Haonan Li, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia · 55d
PersonaDrive: Human-Style Retrieval-Augmented VLA Agents for Closed-Loop Driving Simulation
arXiv cs.AI · Mahmoud Srewa, Praneetsai Iddamsetty, Mohammad Abdullah Al Faruque, Salma Elmalaki · 55d
"Did you lie?" Evaluating Lie Detectors across Model Scale and Belief-Verified Model Organisms
arXiv cs.AI · Alan Cooney, David Africa, Geoffrey Irving · 55d
TrajGenAgent: A Hierarchical LLM Agent for Human Mobility Trajectory Generation
arXiv cs.AI · Siyu Li, Toan Tran, Lingyi Zhao, Khurram Shafique, Li Xiong · 55d
Evoflux: Inference-Time Evolution of Executable Tool Workflows for Compact Agents
arXiv cs.AI · Kushal Raj Bhandari, Ling Yue, Ching-Yun Ko, Dhaval Patel, Shaowu Pan, Pin-Yu Chen, Jianxi Gao · 55d
From AGI to ASI
arXiv cs.AI · Tim Genewein, Matija Franklin, Alexander Lerchner, Laurent Orseau, Samuel Albanie, Adam Bales, Cole Wyeth, Stephanie Chan, Iason Gabriel, Joel Z. Leibo, Allan Dafoe, Marcus Hutter, Thore Graepel, Shane Legg · 55d
Deployment-Centered Evaluation: Predicting Query-Level Rejection Risk in a Clinical LLM System
arXiv cs.AI · Alyssa Unell, Miguel Fuentes, Brenna Li, Bridget Lin, Meena Jagadeesan, Sanmi Koyejo, Nigam Shah · 55d
Definitional alignment before capability alignment: a Design-Science framework for adjudicating claims about AGI
arXiv cs.AI · J. E. Aguilera Briones · 55d
The Theory of Mind Utility: Formal Specification of a Mentalizing Mechanism
arXiv cs.AI · Nikolos Gurney, Stacy Marsella · 55d
Rethinking Psychometric Evaluation of LLMs: When and Why Self-Reports Predict Behavior
arXiv cs.AI · Rafal Kocielnik, Pengrui Han, Peiyang Song, Myrl G. Marmarelis, Ramit Debnath, Dean Mobbs, Anima Anandkumar, R. Michael Alvarez · 55d
Benchmarking AI Agents for Addressing Scientific Challenges Across Scales
arXiv cs.AI · Tianyu Liu, Allen Xin Wang, Antonia Panescu, Lisa Xinyi Chen, Wenxin Long, Xinyu Wei, Yueqian Jing, Ziyao Zeng, Jihang Chen, Sihan Jiang, Ziqing Wang, Siyi Gu, Siyu Chen, Xinyang Hu, Haoran Shao, Leqi Xu, Wangjie Zheng, Zhiyuan Cao, Ada Fang, Botao Yu, Kunyang Sun, Rex Ying, Arman Cohan, Qingyu Chen, Lingzhou Xue, Kaize Ding, Yuanqi Du, Wengong Jin, Zhuoran Yang, Marinka Zitnik, James Zou, Hua Xu, Hongyu Zhao · 55d
Reducing the Complexity of Deep Learning Models for EEG Analysis on Wearable Devices
arXiv cs.AI · Farough Shayeste Roodi, Parham Zilouchian Moghaddam, Mahdi Mohammadi-nasab, Mehdi Modarressi, Mostafa Ersali Salehi Nasab, Masoud Daneshtalab · 55d
Prefill Awareness in Large Language Models
arXiv cs.AI · Andy Wang, Parv Mahajan, David Demitri Africa, Alexandra Souly, Jordan Taylor, Robert Kirk · 55d
Constructing Evaluation Datasets for Procedural Reasoning: Balancing Naturalness, Grounding, and Multi-Hop Coverage
arXiv cs.AI · Sarah Elshabrawy, Rahul K. Dass, Ashok K. Goel · 55d
A Tutorial on World Models and Physical AI
arXiv cs.AI · Il-Seok Oh · 55d
The Containment Gap: How Deployed Agentic AI Frameworks Fail Public-Facing Safety Requirements
arXiv cs.AI · Md Jafrin Hossain, Mohammad Arif Hossain, Weiqi Liu, Nirwan Ansari · 55d
MLUBench: A Benchmark for Lifelong Unlearning Evaluation in MLLMs
arXiv cs.AI · He Li, Haoang Chi, Qizhou Wang, Yunxin Mao, Zhiheng Zhang, Jie Tan, Tongliang Liu, Wenjing Yang, Bo Han · 55d
Teach-and-Repeat: Accurately Extracting Operational Knowledge from Mobile Screen Demonstrations to Empower GUI Agents
arXiv cs.AI · Yudong Zhang (Honor Device Co., Ltd), Lei Hu (Honor Device Co., Ltd), Daoyang Liu (The Chinese University of Hong Kong, Hong Kong, China), Jiawei Liu (Honor Device Co., Ltd), Yangfan Luo (Honor Device Co., Ltd), Xingyu Liu (Honor Device Co., Ltd), Zuojian Wang (Honor Device Co., Ltd), Zhilin Gao (Honor Device Co., Ltd) · 55d
GeoNatureAgent Benchmark: Benchmarking LLM Agents for Environmental Geospatial Analysis Across Frontier and Open-Weight Foundation Models
arXiv cs.AI · Gabriel Diaz-Ireland, Diego Prieto-Herr\'aez, Mario Garc\'ia Peces, Javier Vel\'azquez, Devika Jain · 55d
Topical Phase Transitions in Artificial Intelligence Research: Large-Scale Evidence and an Early-Warning Signature for Emerging Topics
arXiv cs.AI · Rasul Khanbayov, Hasan Kurban · 55d
Fantastic Scientific Agents and How to Build Them: AgentBuild for Rietveld Refinement
arXiv cs.AI · Woong Shin, Craig A. Bridges, Marshall T. McDonnell, Rafael Ferreira da Silva · 55d
(Human) Attention Is (Still) All You Need: Human oversight makes AI-assisted social science reliable
arXiv cs.AI · Chen Zhu, Xiaolu Wang, Weilong Zhang · 55d
WISE: A Long-Horizon Agent in Minecraft with Why-Which Reasoning
arXiv cs.AI · Renmin Cheng (The Hong Kong University of Science,Technology), Changhao Chen (The Hong Kong University of Science,Technology) · 55d
DailyReport: An Open-ended Benchmark for Evaluating Search Agents on Daily Search Tasks
arXiv cs.AI · Jingxuan Han, Wei Liu, Mingyang Zhu, Youpeng Wang, Ziwen Wang, Lin Qiu, Xuezhi Cao, Xunliang Cai, Zheren Fu, Licheng Zhang, Zhendong Mao · 55d
HarnessBridge: Learnable Bidirectional Controller for LLM Agent Harness
arXiv cs.AI · Xiaoxuan Wang, Haixin Wang, Alexander Taylor, Jason Cong, Yizhou Sun, Wei Wang · 55d
The Hidden Power of Scaling Factor in LoRA Optimization
arXiv cs.AI · Zicheng Zhang, Haoran Li, Jiaxing Wang, Guoqiang Gong, Anqi Li, Yudong Hu, Ting Xiong, Yurong Gao, Junxing Hu, Zhida Jiang, Yifeng Zhang, Pengzhang Liu, Qixia Jiang · 55d
Zero-source LLM Hallucination Detection with Human-like Criteria Probing
arXiv cs.AI · Jiahao Yang, Shuhai Zhang, Hailong Kang, Feng Liu, Qi Chen, Mingkui Tan · 55d
MDForge: Agentic Molecular Dynamics Pipeline Design under Sparse Simulator Feedback
arXiv cs.AI · Zehong Wang, Yijun Ma, Connor R. Schmidt, Tianyi Ma, Weixiang Sun, Ziming Li, Xiaoguang Guo, Chuxu Zhang, Matthew J. Webber, Yanfang Ye · 55d
Iterating Toward Better Search: A Two-Agent Simulation Framework for Evaluating Agentic Search Architectures in E-Commerce
arXiv cs.AI · Jetlir Duraj, Jayanth Yetukuri, Shuang Zhou, Dhruv Varma, Rui Kong, Ishita Khan, Qunzhi Zhou · 55d
MARS: Margin-Adversarial Risk-controlled Stopping for Parallel LLM Test-time Scaling
arXiv cs.AI · Wenbo Chen, Puheng Li, Mengyang Liu, Weijie Su, Tianpei Xie · 55d
PRISMR: Overcoming Parse Collapse in Multimodal Listwise Ranking via Parameterized Representation Internalization
arXiv cs.AI · Hao Jiang, Xin Li, Annan Wang, Zhi Yang, Haoxiang Zhang, Yichi Zhang, Weisi Lin · 55d
Learning What to Remember: A Cognitively Grounded Multi-Factor Value Model for Agentic Memory
arXiv cs.AI · Zhibao Chen, Qian Cheng · 55d
OpenMedQ: Broad Open Pretraining for Medical Vision-Language Models
arXiv cs.AI · Ibrahim Gulluk, Max Van Puyvelde, Olivier Gevaert · 55d
Multi-Modal Agents for Power Distribution Defect Detection: An Evaluation of Foundation Models
arXiv cs.AI · Quan Quan · 55d
A Mathematical Forum Platform for Collaborative Problem Solving and Dataset Generation for AI Reasoning
arXiv cs.AI · Akbar Erkinov, Nurmukhammad Abdurasulov · 55d
Structured Testbench Generation for LLM-Driven HDL Design and Verification-Oriented Data Curation
arXiv cs.AI · En-Ming Huang, Yu-Hung Kao, Ren-Hao Deng, Wei-Po Hsin, Yao-Ting Hsieh, Cheng Liang, Hsiang-Yu Tsou, Mu-Chi Chen, Yu-Kai Hung, Shao-Chun Ho, Po-Hsuang Huang, Shih-Hao Hung, H. T. Kung · 55d
APCyc: Property-Informed Design of Cyclic Peptides via Automated Cyclization
arXiv cs.AI · Yifan Zhao, Lang Qin, Jintai Chen · 55d
The Illusion of Multi-Agent Advantage
arXiv cs.AI · Prathyusha Jwalapuram, Hehai Lin, Chuyuan Li, Fangkai Jiao, Sudong Wang, Yifei Ming, Zixuan Ke, Chengwei Qin, Giuseppe Carenini, Shafiq Joty · 55d
Otters++: A Time-to-first-spike Based Energy Efficient Optical Spiking Transformer
arXiv cs.AI · Zhanglu Yan, Jiayi Mao, Kaiwen Tang, Fanfan Li, Gang Pan, Tao Luo, Bowen Zhu, Qianhui Liu, Weng-Fai Wong · 55d
SciR: A Controllable Benchmark for Scientific Reasoning in LLMs
arXiv cs.AI · Pierre Beckmann, Marco Valentino, Andre Freitas · 55d
Nous: An Attempt to Extract and Inject the Cognition Behind Prediction-Market Behavior
arXiv cs.AI · Haowei Qian · 55d
Augmentation techniques for video surveillance in the visible and thermal spectral range
arXiv cs.AI · Vanessa Buhrmester, Ann-Kristin Grosselfinger, David Munch, Michael Arens · 55d
AAbAAC: An Annotated Corpus for Autoimmunity Information Extraction
arXiv cs.AI · Fabien Maury (Imagine - U1163, HeKA | U1346), Sol\`ene Grosdidier (Imagine - U1163), Maud de Dieuleveult (Imagine - U1163), Adrien Coulet (HeKA | U1346) · 55d
Rethinking RAG in Long Videos: What to Retrieve and How to Use It?
arXiv cs.AI · Yuho Lee, Jisu Shin, Nicole Hee-Yeon Kim, Jihwan Bang, Juntae Lee, Kyuwoong Hwang, Fatih Porikli, Hwanjun Song · 55d
TerraBench: Can Agents Reason Over Heterogeneous Earth-System Data?
arXiv cs.AI · Dat Tien Nguyen, Thao Nguyen, Fadillah Adamsyah Maani, Huy M. Le, Muhammad Umer Sheikh, Numan Saeed, Muhammad Haris Khan, Salman Khan · 55d
Mental-R1: Aligning LLM Reasoning for Mental Health Assessment
arXiv cs.AI · Xin Wang, Boyan Gao, Yibo Yang, David A. Clifton · 55d
Reasoning for Mobile User Experience with Multimodal LLMs: Task, Benchmark, and Approach
arXiv cs.AI · Ruichao Mao, Zhou Fang, Teng Guo, Hao Yang, Yaping Li, Shaohua Peng, Maji Huang, Xiaoyu Lin, Shuoyang Liu, Xuepeng Li, Yuyu Zhang, Hai Rao · 55d