arXiv preprint ·
Agents as Software: A Programming Languages Agenda for Agent Reliability
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
AI agents increasingly resemble software systems: they call tools, remember facts, follow policies, delegate work, and take actions with real consequences. % Yet the ``program'' of an agent is scattered across prompts, tools, memories, workflows, and execution traces, making its behavior difficult to inspect through ordinary testing and debugging alone. % This essay argues that a programming-systems perspective offers a natural lens for making agents reliable. % We recast agents as programmable artifacts whose behavior can be specified over traces and state, checked before deployment, monitored during execution, and improved from observed failures. % The goal is not to make probabilistic agents behave like deterministic programs, but to give them enough structure that their behavior can be reasoned about, controlled, and repaired.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Programming Languages
Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers
Automated Abstraction Refinement for Information Flow Security in Embedded Systems
Towards Certificate-Driven Software Porting: A Self-Improving Agentic Harness for Scientific Program Optimization
MQSS-Selector: RL-Guided Pass Selection for an MLIR Compilation Pipeline
Faultless: A Program Equivalence Technique for Validating and Evaluating Neural Decompilers
Get the few papers worth your time in Programming Languages every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.