2026-05-20

AI Agents

Today's papers converge on architecting around stochasticity in production systems. From database tuning to runtime patterns and binary remediation, the focus shifts from capability to the boundary between agent output and system action.

5 papers 0 news 2 blogs 19 appendix 435 considered

Papers

5

OpenComputer: Verifiable Software Worlds for Computer-Use Agents

arxiv:arxiv-software-eng — Jinbiao Wei, Qianran Ma, Yilun Zhao, Xiao Zhou, Kangqi Ni, Guo Gan, Arman Cohan 10/10 evalstool-useinfra
OpenComputer proposes a verifier-grounded framework for evaluating computer-use agents across 33 desktop applications and 1,000 tasks. Instead of relying on LLM-as-judge, it uses app-specific state verifiers exposing structured inspection endpoints. This approach aligns more closely with human adjudication, especially for fine-grained state changes where frontier agents often fail despite partial progress. The evaluation harness records full trajectories for auditable partial-credit rewards. This offers a concrete baseline for measuring robustness in GUI automation tasks.

A Case for Agentic Tuning: From Documentation to Action in PostgreSQL

arxiv:arxiv-software-eng — Hongyu Lin, Mingyu Li, Weichen Zhang, Yihang Lou, Mingjie Xing, Yanjun Wu, Haibo Chen 10/10 devops-agentstool-useinfra
PerfEvolve shifts database tuning from static documentation to dynamic agent actions. It translates expert tuning methodologies into executable skills for version-consistency verification and multi-parameter optimization. Evaluated on PostgreSQL under TPC-C and TPC-H, it outperforms documentation-driven baselines by 35.2%. The system handles inter-parameter dependencies that static guides miss. This demonstrates a clear path for devops agents: rather than retrieving docs, encode the tuning logic as executable skills that profile workloads directly. Open source integration is available.

Rethinking How to Remember: Beyond Atomic Facts in Lifelong LLM Agent Memory

arxiv:arxiv-llm-systems — Jingwei Sun, Jianing Zhu, Jiangchao Yao, Tongliang Liu, Bo Han 10/10 memoryframeworksresearch
TriMem addresses the limitations of atomic fact extraction in lifelong agent memory by maintaining three coexisting representation granularities. It stores raw dialogue segments for fidelity, extracted facts for retrieval, and synthesized profiles for deep reasoning. The system uses TextGrad-based prompt optimization to refine extraction without parameter updates. Experiments on LoCoMo and PerLTQA show consistent improvements over strong baselines. This architecture acknowledges that different reasoning tasks require different memory densities, avoiding the information loss inherent in compressing all history into static facts.

A Methodology for Selecting and Composing Runtime Architecture Patterns for Production LLM Agents

arxiv:arxiv-software-eng — Vasundra Srinivasan 10/10 frameworksinfraobservability
This paper defines the stochastic-deterministic boundary as the load-bearing primitive of production agent runtimes. It catalogs six runtime patterns, including hierarchical delegation and supervisor plus gate, tracing their lineage to distributed systems concepts. Crucially, it identifies replay divergence as a key failure mode where deterministic logs produce different outputs under model changes. A selection methodology covers coordination, state, and control concerns. This is essential reading for architects designing agent systems that must survive model variance and prompt drift.

SCARA: A Semantics-Constrained Autonomous Remediation Agent for Opaque Industrial Software Vulnerabilities

arxiv:arxiv-software-eng — Bowei Ning, Xuejun Zong, Lian Lian, Kan He, Guogang Wang, Yifei Sun, Jinyang Liu 10/10 safetycode-agentsinfra
SCARA targets vulnerability remediation in opaque industrial software where source code is unavailable. It connects binary vulnerability candidates to validated remedies through a four-stage pipeline, including operational-state-aware verification. On a 15-case benchmark spanning firmware and PLC artifacts, it achieved 100% precision with no false positives. Validation uses behavioral-coverage preservation and independent replay. This work proves agents can operate safely in high-stakes environments without source access, provided verification is grounded in operational state rather than static analysis alone.

Blogs

2

Gemini 3.5 Flash: more expensive, but Google plan to use it for everything

rss:simonw 8/10 cost-latencytool-useinfra
Google released Gemini 3.5 Flash straight to GA, embedding it across Search, Android, and Enterprise platforms. The model supports 1M input tokens and 65K output, matching previous 3.x specs but skipping the preview phase. Notably, computer use capabilities are absent from this release. The new Interactions API is in beta, suggesting a push toward structured agent workflows rather than chat. Pricing details inform production cost decisions, signaling Google's intent to make this the default workhorse for high-volume agent deployments.

llm-gemini 0.32a0

rss:simonw 6/10 tool-usecost-latency
This alpha release of the llm-gemini plugin adds support for streaming reasoning tokens, compatible with llm >= 0.32a0. For engineers building CLI tools or local agents, this visibility into the reasoning process is critical for latency optimization and debugging. Streaming reasoning allows you to render intermediate thoughts before the final answer, improving perceived responsiveness. Necessary for anyone integrating Gemini reasoning capabilities into local development workflows where token cost and wait time matter.
19 more items the ranker flagged but didn't feature

Papers

Blogs