📄 Paper Explainer

Recent Papers from arXiv

• arXiv:2607.09649
  ConceptSMILE: Auditing the Trustworthiness of Concept-Based Explainable AI
  Mohadeseh Mollapour, Koorosh Aslansefat, Zeinab Dehghani, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09600
  Agora: Enhancing LLM Agent Reasoning Via Auction-Based Task Allocation
  Kaiji Zhou, Ales Leonardis, Yue Feng
  Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
• arXiv:2607.09586
  TrustX Agent Risk Classification Framework (ARC): Risk-Tiering Internally Created Agentic AI Systems
  Hannah M. Liu, Rhea Saxena, Shiv Asthana
  Artificial Intelligence (cs.AI)
• arXiv:2607.09578
  Knowledge Graphs and Explainable AI as Complementary Resources for Urban Mining
  Jan Gronewald, Andreas Emrich, Nijat Mehdiyev
  Artificial Intelligence (cs.AI)
• arXiv:2607.09560
  Beyond Fixed Representations: The Vocabulary and Verifier Gaps in Open-Ended AI
  Yuan Cao, Haiqian Yang
  Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
• arXiv:2607.09521
  SAGEAgent: A Self-Evolving Agent for Cost-Aware Modality Acquisition in Multimodal Survival Prediction
  Chongyu Qu, Can Cui, Zhengyi Lu, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09493
  Shared Selective Persistent Memory for Agentic LLM Systems
  Sanjana Pedada, Aditya Dhavala, Neelraj Patil
  Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Software Engineering (cs.SE)
• arXiv:2607.09492
  Multimodal Reward Hacking in Reinforcement Learning
  Jiayu Yao, Yiwei Wang, Anmeng Zhang, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09489
  Ceci n'est pas une pipe: AI systems as semantic abstractions
  Jade Alglave, Patrick Cousot
  Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
• arXiv:2607.09474
  ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
  Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09449
  How Does Bayesian Causal Discovery Fail? Characterising Structural Consequences in Linear Gaussian Networks under Latent Confounding
  Debargha Ghosh, Silja Renooij, Anna Kononova
  Artificial Intelligence (cs.AI)
• arXiv:2607.09403
  Fictional Worldbuilding: Multi-Agent LLM Collaboration with Hierarchical Context Compression and Iterative Review
  Jingbo Chen, He Wang, Wei Yuan, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09330
  Communication-Efficient Digital-Twin Coordination for Heterogeneous LLM Embodied Agents over Computing Power Networks
  Nuocheng Yang, Sihua Wang, Zihan Chen, et al.
  Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)
• arXiv:2607.09322
  LongMedBench: Benchmarking Medical Agents for Long-Horizon Clinical Decision-Making
  Yanzhen Chen, Zihan Xu, Xiaocheng Zhang, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09217
  OpenProver: Agentic and Interactive Theorem Proving with Lean 4
  Matěj Kripner, Milan Straka
  Artificial Intelligence (cs.AI); Mathematical Software (cs.MS)
• arXiv:2607.09195
  Toward Auditable AI Scientists: A Hypothesis Evolution Protocol for LLM Agents
  Izumi Takahara, Teruyasu Mizoguchi
  Artificial Intelligence (cs.AI); Materials Science (cond-mat.mtrl-sci)
• arXiv:2607.09175
  Scoped Verification for Reliable Long-Horizon Agentic Context Evolution under Distribution Shift
  Dan C. Hsu, Luke Lu
  Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
• arXiv:2607.09153
  KV-PRM: Efficient Process Reward Modeling via KV-Cache Transfer for Multi-Agent Test-Time Scaling
  Peng Kuang, Haibo Jin, Xiaoyu Han, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09142
  MedRealMM: A Real-World Multimodal Benchmark for Chinese Online Medical Consultation
  Runhan Shi, Quan Zhou, Yuqian Xu, et al.
  Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV)
• arXiv:2607.09099
  L-MAD: A Systematic Evaluation of Multi-Agent Debate Structures in Legal Reasoning
  Tan-Minh Nguyen, Hoang-Trung Nguyen, Huu-Dong Nguyen, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09076
  Neuro-Agentic Control: A Deep Learning-based LLM-Powered Agentic AI Framework for Controlling Security Controls
  Saroj Gopali, Bipin Chhetri, Deepika Giri, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.09059
  ARCANA: A Reflective Multi-Agent Program Synthesis Framework for ARC-AGI-2 Reasoning
  Kunbo Zhang, Lei Fu, Zeyu Wang, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.08986
  A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game
  Joseph K. Miller
  Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Analysis of PDEs (math.AP)
• arXiv:2607.08964
  Long-Horizon-Terminal-Bench: Testing the Limits of Agents on Long-Horizon Terminal Tasks with Dense Reward-Based Grading
  Zongxia Li, Zhongzhi Li, Yucheng Shi, et al.
  Artificial Intelligence (cs.AI)
• arXiv:2607.08894
  GATS: Graph-Augmented Tree Search with Layered World Models for Efficient Agent Planning
  Maureese Williams, Dymitr Nowicki
  Artificial Intelligence (cs.AI); Machine Learning (cs.LG)