All digests
ResearchersENArtificial Intelligencedaily

[Artificial Intelligence] Daily digest — 267 papers, 0 strong connections (2026-07-13)

DeepScience — Artificial Intelligence
DeepScience
Artificial Intelligence · Daily Digest
July 13, 2026
267
Papers
10/10
Roadblocks Active
0
Connections
⚡ Signal of the Day
• Agent failure research is today's sharpest signal: a large-scale empirical study of 1,794 CLI coding agent trajectories shows failures are driven by knowledge gaps and begin within the first few execution steps — but remain hidden until recovery is impossible.
• A separate benchmark (SLBench) finds that 70% of public agent skills contain logical constraints that current LLMs violate at rates up to 70%, causing privacy leaks and unsafe configurations — together these two papers make a strong case that deployed AI agents have systematic, diagnosable failure signatures that the field is only beginning to measure.
• Watch for convergence between agent-failure taxonomy work and formal verification approaches (OpenProver): structurally eliminating hallucination via type-checking is a direction gaining traction alongside purely statistical mitigation.
📄 Top 10 Papers
Failure as a Process: An Anatomy of CLI Coding Agent Trajectories
This study analyzed 1,794 CLI coding agent trajectories across 7 frontier LLMs and 3 agent scaffolds, finding that most failures stem from knowledge gaps (epistemic errors) and begin within the first few execution steps — yet go undetected until recovery is no longer possible. The annotated dataset of 63,000+ steps with inter-rater agreement (Cohen's κ 0.78–0.94) is publicly released, making this a durable resource. This matters because it shifts the design question from 'how do we recover from failures?' to 'how do we detect knowledge gaps before agents commit to a wrong path?'
█████████ 0.9 agent-tool-use Preprint
Seeing is Free, Speaking is Not: Uncovering the True Energy Bottleneck in Edge VLM Inference
Direct power measurements on edge hardware show that generating output tokens costs 11–39x more wall-clock time than processing input tokens, and that average inference power varies less than 5% regardless of image resolution, visual complexity, or prompt type. The bottleneck in edge vision-language model deployment is not the vision encoder — it is output verbosity during the memory-bound decode phase. For anyone deploying AI on constrained hardware, this means controlling output length matters far more than compressing inputs.
█████████ 0.9 efficiency-scaling Preprint
SLBench: Evaluating How LLM Agents Follow Logical Relations in Skills
Analysis of over 5,000 public agent skills found that 70% contain at least one logical relation — prerequisites, mutual exclusions, or sequencing constraints — and that six tested LLM backbones (including Codex and Claude Code) violate these at unsafe rates up to 70%. Violations lead to concrete harms including privacy leaks and dangerous configuration changes. This reveals a systematic gap: the AI agent ecosystem has accumulated a large library of skills whose internal logic deployed models cannot reliably respect.
█████████ 0.9 alignment-safety Preprint
Mach-Mind-4-Flash Technical Report
A 35B sparse mixture-of-experts model with only 3B parameters active per token matches the performance of ~100B-class dense models through a post-training pipeline that combines multi-teacher on-policy distillation with reinforcement learning — achieving a 17% end-to-end training speedup. The key mechanism is a routed reverse-KL distillation objective that prevents the 'seesaw' degradation that typically occurs when mixing reward signals across domains. This is a concrete demonstration that post-training optimization, not additional pre-training compute, can close large capability gaps.
██████████ 0.8 efficiency-scaling Preprint
LongMedBench: Benchmarking Medical Agents for Long-Horizon Clinical Decision-Making
Built from MIMIC-IV records of patients with at least 15 hospitalizations, this benchmark tests LLM agents on factual recall, temporal reasoning, and long-horizon clinical decisions over extended EHR histories. LLMs handle explicit timestamps reasonably well but fail at implicit time inference, and RAG or memory augmentation improves information retrieval without improving actual decision-making quality. The finding that decision performance depends on the immediate context window rather than historical aggregation suggests current memory architectures are not yet fit for longitudinal clinical AI.
██████████ 0.8 long-context Preprint
MedRealMM: A Real-World Multimodal Benchmark for Chinese Online Medical Consultation
Using 5,620 evaluation instances drawn from real patient-doctor consultations on JD Health, this benchmark finds that frontier LLMs satisfy as many or more positive clinical criteria as human physicians but also trigger significantly more negative (safety-sensitive) criteria. Image information is critical — models degrade substantially without it. The practical implication is that LLMs have broad clinical knowledge but lack the cautious error-avoidance behavior that makes medical responses safe to deploy.
██████████ 0.8 alignment-safety Preprint
OpenProver: Agentic and Interactive Theorem Proving with Lean 4
OpenProver connects a Planner-Worker-Verifier agent architecture to the Lean 4 proof assistant, so every candidate proof is automatically checked for correctness by a formal type-checker rather than trusted on the LLM's word. A shared 'whiteboard' scratchpad lets parallel worker agents pool intermediate findings, improving search efficiency. This approach structurally eliminates proof hallucination — wrong proofs are rejected by the verifier, not just flagged as likely wrong — making formal mathematics one of the cleaner paths to reliable LLM reasoning.
██████████ 0.8 hallucination-grounding Preprint
Geopolitical alignment: Endorsement effects in large language models
A controlled experiment held policy content fixed while randomizing the endorsing country (US, EU, China, Russia) across calls to GPT-4, Claude Sonnet, Gemini, and DeepSeek. Three Western-developed models rate China- and Russia-endorsed policies substantially lower than identical US- or EU-endorsed ones; DeepSeek does not show this pattern in numeric responses but exhibits sharp penalties for China and Russia when asked to justify its scores. This is evidence that major LLMs carry geopolitical biases that activate differently depending on whether the model is forced to articulate its reasoning.
██████████ 0.8 alignment-safety Preprint
Creativity, honesty and designed forgetting emerge in small hyperbolic language models
A 146M-parameter behavioral auditor model trained on a hyperbolic geometry substrate achieves AUROC 0.804 in detecting sycophancy, confabulated memories, and dependence-fostering behaviors — outperforming frontier zero-shot LLM judges (AUROC 0.721) and identifying violations that trained human raters could not reliably agree on (Fleiss κ=0.074). The mechanism is linear read-out probing of frozen representations rather than generation, making it fast and interpretable. This suggests small, specialized models can be more practical safety monitors than large general ones for well-defined alignment failure modes.
██████████ 0.8 alignment-safety Preprint
AgentKGV: Agentic LLM-RAG Framework with Two-Stage Training for the Fact Verification of Knowledge Graphs
AgentKGV applies an agentic retrieval-augmented framework with iterative query rewriting to knowledge graph fact verification, improving macro-F1 by 5.5 points over single-turn RAG on long-tail predicates, with an additional 9.4 point gain from two-stage training. GRPO reinforcement optimization halves average search calls from 3.24 to 1.63 without accuracy loss. This matters because knowledge graphs are a primary grounding resource for enterprise AI, and long-tail predicates — where single-turn retrieval fails — are exactly where factual errors cause the most damage.
██████████ 0.8 hallucination-grounding Preprint
🔬 Roadblock Activity
Roadblock Papers Status Signal
Data Quality & Curation 126 Active Highest volume roadblock today by a wide margin; benchmark construction papers (MedRealMM, LongMedBench, SLBench) are the main contributors, reflecting continued investment in evaluation infrastructure over algorithmic novelty.
Reasoning Reliability 93 Active Strong activity across agent failure analysis, theorem proving, and clinical decision-making; the common thread is that reasoning errors are increasingly being characterized empirically rather than just theorized.
Efficiency & Scaling 90 Active The edge VLM energy profiling paper delivers the day's most actionable finding: output token count, not vision processing, is the dominant cost driver in real deployments.
Hallucination & Grounding 86 Active Formal verification (OpenProver) and small behavioral auditors (hyperbolic LMs) represent two structurally different approaches to grounding that both showed results today.
Interpretability 81 Active Modest signal; the auditable AI scientists paper (HEP protocol) and geopolitical bias study both touch interpretability but neither advances mechanistic understanding significantly.
Multimodal Understanding 81 Active MedRealMM is the standout paper; it confirms that image information is not optional for clinical multimodal tasks, with models degrading substantially when vision is removed.
Agent Tool Use 64 Active SLBench and the CLI trajectory analysis paper together make a strong empirical case that current agents systematically misuse tools — through logical constraint violations and epistemic overconfidence respectively.
Alignment & Safety 52 Active Four papers today directly address alignment failure modes — geopolitical bias, medical safety criteria, skill logic violations, and behavioral auditing — making this a notably productive day for the roadblock.
Long Context 44 Active LongMedBench is the main contribution; its finding that memory augmentation helps retrieval but not decision-making in long clinical histories is a useful negative result for the field.
Embodied AI 34 Active Mosaic addresses failed-action latency in multi-agent embodied planning but the paper's reproducibility gaps (undisclosed LLM backbone, no code) limit confidence in its reported 27–32% improvements.
View Full Analysis
DeepScience — Cross-domain scientific intelligence
Sources: arXiv · OpenAlex · Unpaywall
deepsci.io