2026-08-11
AI Agents
A production-scale coding-agent study finds a failure mode nobody was testing for: 35 of 100 tasks that pass on a direct spec fail on a logically equivalent revision history, meaning agents follow the loudest phrasing rather than the active contract. Also today: a 14MB agentic model that decodes 500 tok/s on a Raspberry Pi, patch and code-review verifiers built on injected determinism, and memory distillation for small agents.
Papers
5SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories
SpecPath names a failure mode called specification-path sensitivity: coding agents that resolve a final contract correctly when stated directly produce behaviorally different programs when the same contract arrives via an equivalent revision history. Holding repo, contract, verifier, agent, and budget fixed and varying only the path, aggregate accuracy barely moves — yet 35 of 100 blocks that pass on the direct spec fail on at least one equivalent history. The lesson: agents follow the most salient statement, not the active contract, and single-shot benchmarks hide it.
SWE-Bench ProMax: Benchmarking Agents on Large-Scale Multilingual Code Refactoring
SWE-Bench ProMax targets code refactoring — coordinated, behavior-preserving changes across many files — as a harder replacement for saturating benchmarks. 170 expert-curated instances across seven languages, averaging 11.4 modified files and 261.6 lines each. The curation directly addresses the audit finding that ~60% of unsolved SWE-bench Verified instances have flawed tests: issue descriptions rewritten from scratch, test suites manually reviewed to drop overly narrow and overly broad checks. The scale and the deliberate attack on prior benchmark rot make this a credible successor.
OpenCodeReview: Determinism over Non-Determinism for Cost-Effective Agent-Based Code Review
OpenCodeReview attacks two problems in LLM code-review agents — non-determinism from unbounded tool use and context bounded to the diff — by injecting determinism at three points: rule-guided file/criteria dispatch, a curated ReAct tool set with parallel per-file subagents, and an independent reflector that sees only the diff to filter hallucinated comments without self-reinforcement. On AACR-Bench (200 real PRs, 10 languages, 1,505 verified comments) it beats mainstream coding agents on SEM-F1 with 5-15x token savings, and it's open-sourced.
Agent Memory Distillation: Empowering Small LLM Agents with Hierarchical Teacher Memory
Agent Memory Distillation is a training-free framework that transfers structure from a large teacher agent to a small student via three memory types: workflow memory for task strategy and subtask memory for behavioral examples, both injected proactively, plus function memory retrieved reactively on tool-calling errors. With GPT-5-mini as teacher and 4B-8B students, it adds 27.2pp on AppWorld, 11.2pp on BFCL V3, and 3.4pp on ToolSandbox. Subtask memory drives most of the gain, and 4B students benefit most — a clean, well-ablated result.
Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework
RETRACE adds an independent verification signal for coding-agent patches, filling the gap where self-refinement just re-judges a patch under the same interpretation that produced it. It reconstructs forward — building a repair rationale from issue and trajectory — then backward, inferring from the patch alone (no access to the original issue) what problem it appears to solve, and compares the two for an alignment verdict before a reconciliation stage submits or produces revision guidance. Training-free, evaluated on SWE-bench Verified with two backbones and reported Pass@1 gains plus ablations.
News
5Show HN: Needle2: 14MB agentic LLM for phones, wearables, smart home and robots
Needle 2 is a 45M-parameter agentic model at 2-bit compression, shipping as a single 14MB binary that runs a full session in 28MB of RAM. It decodes 500 tok/s on a Raspberry Pi 5, 400-1,500 on Quest 3S and Vision Pro, and 300-700 on sub-$200 phones. On tool-call and device-use benchmarks it trades wins with LFM2.5 230M and Apple's Foundation Model at 5-70x smaller. The architecture is Simple Attention Networks, with a confidence-based cloud-escalation pattern for the hard cases.
Exploring Claude/GPT Knowledge Cutoffs and Pre-Training Timelines
An analysis of Claude and GPT knowledge cutoffs versus their actual pre-training timelines, useful for anyone reasoning about why an agent confidently references a library version that doesn't exist or misses one that does. The post reconstructs the gap between stated cutoffs and observed behavior. The HN discussion is thin (21 comments) and the body is behind the link, so treat the specific dating conclusions as the author's inference rather than confirmed fact.
Show HN: Ante, a coding agent in a single binary that runs offline
Ante is a coding agent packaged as a single binary that runs fully offline — directly on-beat for anyone who wants agent-assisted work without shipping their repo to an API. The HN post drew 135 points and 80 comments, but the provided text carries no engineering detail: no model backend, context handling, tool interface, or how the offline constraint shapes capability. The pitch is clear; the substance is behind the repo.
Show HN: A tiny LLM running at 21,000 tok/s on a $250 FPGA (Live Demo)
A tiny LLM running at 21,000 tok/s on a $250 Xilinx KV260 FPGA, with a live demo. The throughput number is the headline and it's a genuine hardware result rather than a simulation — worth a look if you're thinking about deterministic, fixed-cost inference at the edge. The agent angle is weak: no tool use or planning, just raw decode speed on a small model. Details on model size and quantization live in the linked writeup.
What's the best programming language for coding agents?
Dan Luu on which programming language is best for coding agents, framed largely through token efficiency — how compactly a language expresses the same logic and what that costs across an agent's iteration loop. It's a blog-style comparison, not a controlled study, but Luu's analyses tend to be careful and the token-cost angle matters directly for latency and spend when an agent rewrites a file dozens of times. Pair it with the related January piece on token efficiency across languages.
Blogs
1Introducing Muse Glimmer
Meta is back in open weights with Muse Glimmer, a 30B model under a clean Apache 2.0 license and pitched squarely at agentic work: end-to-end task completion on SWE-Bench and τ-Bench, precise tool-call schemas, and long-horizon planning. Simon Willison ran the 18GB LM Studio build locally; the pelican SVG came out jumbled but recognizable. The vendor benchmark claims are the vendor's, but a permissively licensed 30B tuned for tool use and multi-step reasoning is worth pulling down and testing yourself.
40 more items the ranker flagged but didn't feature
Papers
- From Relevance to Execution Utility: Reward-Aware Dynamic Execution Gating for Skill-Based LLM Agentsarxiv:arxiv-agents
- Bidirectional Context Self-Distillation for Reinforcement Learning of Skill-Based LLM Agentsarxiv:arxiv-agents
- Entropy-based Code Adversarial Translation for Real-world Repository Migrationarxiv:arxiv-agents
- WorldSimProbe: Diagnosing Simulator Faithfulness in Action-Conditioned World Models for Embodied Manipulationarxiv:arxiv-agents
- GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident Response in Microservicesarxiv:arxiv-software-eng
- MoRSE: Task-Oriented Multi-Agent System with Mixture of Role-Subtask Expertsarxiv:arxiv-agents
- Stealing Reasoning Traces from Proprietary LLM APIsarxiv:arxiv-agents
- Avalon-ToM-Bench: Evaluating Fine-Grained Theory of Mind via Asymmetric Game Mechanicsarxiv:arxiv-agents
- ElasticBack: Stealthy Conditional Backdoor in LLM-Agent Skills via Coupled Trigger-Rule Optimizationarxiv:arxiv-agents
- DSLE: A Learning Environment for Dark Souls Boss Encountersarxiv:arxiv-agents
- ArchAgent v2: A Case Study with the Data Prefetching Championshiparxiv:arxiv-agents
- Software Engineering for and with GUI Agentarxiv:arxiv-agents
- OpenLoopEvolve: A Verifiable Self-Evolution Framework for Loop Policies in Long-Horizon Complex Tasksarxiv:arxiv-agents
- Can Coding Agents Solve Repository-Level Issues with Rendered Code? An Exploratory Study of Visual Representationsarxiv:arxiv-agents
- SiriusDeliver: Automating Data Warehouse Delivery at Tencentarxiv:arxiv-agents
- Agentic Router: An Execution-Grounded Continual Learning Approach With Memoryarxiv:arxiv-agents
- SmellCC: A Tool for Automated Code Smells Remediationarxiv:arxiv-software-eng
- Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world modelsarxiv:arxiv-agents
- The Politician, the Liar, and the Obedient Worker: Emerging Behavior of LLM Agents in Hierarchical Gamesarxiv:arxiv-agents
- Open Evaluation Agent: Efficient and Promptable Evaluation of Visual Generative Modelsarxiv:arxiv-agents
- RangeFactory: Scalable Construction of Multi-Hop Cyber Rangesarxiv:arxiv-agents
- Security Tests as Executable Specifications for LLM Code Generation: Benefits, Trade-offs, and Coverage Limitsarxiv:arxiv-software-eng
- STAIR: Effective Incident Response Using an End-to-End Agentic Planning Frameworkarxiv:arxiv-agents
- Rethinking Self-Evolving Agents: Do We Still Need Prescribed Optimization Pipelines?arxiv:arxiv-agents
- ComboShoppingBench: Evaluating LLM Agents for Budget-Constrained Basket Shopping with Couponsarxiv:arxiv-agents
- LLM-Guided Heuristic Design from Simulation Traces: A Case Study in Dynamic Production and AGV Schedulingarxiv:arxiv-agents
- SkillSentry: Reliable Skill Execution for LLM Agents via Runtime Assurancearxiv:arxiv-agents
- Beyond the Capability Boundary: Zeroth-Order Optimization for Self-Evolving LLM Agentsarxiv:arxiv-llm-systems
- Business Truth, not SQL Accuracy: A Rule-Gated 7B Analytics Agent Outperforms a Direct-Prompted 32B Baselinearxiv:arxiv-agents
- Multi-Agent AI Safety as an Institutional Design Problemarxiv:arxiv-agents
- Learning Preference Adaptation for Large Language Model Personalization via Verbal Reinforcement Learningarxiv:arxiv-agents
- Social Gym and SPaRTan: Benchmarking and Improving LLM Social Reasoning via Multi-Agent Game Tournamentsarxiv:arxiv-agents
- ActBench: Self-Evolving Benchmark of Behavioral Safety in Cowork Agentsarxiv:arxiv-agents
- Emotion2Skill: Model-Internal Emotion Signals for Adaptive Skill Selection and Evolutionarxiv:arxiv-agents
- Tree-of-Experience: Hierarchical Experience Management for Self-Evolving Agentsarxiv:arxiv-llm-systems