arXiv AI
Jul 17
Volition Elicitation: Operational Semantics for People and Their Machines
arXiv:2607. 14138v1 Announce Type: cross Abstract: The most prevalent distributed systems today include people and their personal machines (smartphones).
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)
arXiv:2602. 06934v4 Announce Type: replace-cross Abstract: Grassroots Logic Programs (GLP) is a concurrent logic programming language in which logic variables are partitioned into paired readers and writers.
Related stories
arXiv AI
Sep 24
Harness as a Language: A Minimalist Agent Framework With Maximal Expressivity
The paper introduces JAZ, a minimalist LLM agent framework that centers on a single primitive called “invoke”, which allows an LLM to write and execute arbitrary code, including recursive calls, while treating all inputs and interaction history as variables in the code environment. JAZ provides built‑in hooks for constraints and monitoring but relies solely on prompting, without external tools, memory systems, or file‑system access. Experiments show that JAZ “invoke” outperforms specialized external harnesses such as Letta (MemGPT) and ACE on long‑horizon recall tasks and continual self‑improvement, achieving higher accuracy at lower cost.
arXiv Machine Learning
Jun 17
Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems
arXiv:2606. 17182v1 Announce Type: new Abstract: Multi-agent LLM systems share state through memory stores, vector indices, and tool registries.
arXiv AI
Jul 21
ETAS: An Effect-Typed Language for Agent Systems
arXiv:2607. 17780v1 Announce Type: cross Abstract: ETAS is a programming language for agent systems that treats model-backed agents, tool calls, prompts, typed memory, human approvals, policies, and execution traces as semantic program elements rather than library conventions.
Hugging Face Trending Papers
Sep 21
Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler
Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec. Taken to its extreme, this makes specification languages the new programming langua...
arXiv AI
Sep 23
Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler
arXiv:2609.23954v1 Announce Type: cross Abstract: Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec. Taken to its extreme, this makes...
arXiv AI
Jul 21
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
arXiv:2607. 16372v1 Announce Type: cross Abstract: Interactive theorem proving (ITP) underpins program verification and formalized mathematics, but its manual effort limits scalability.
arXiv AI
Jun 8
Lean4Agent: Formal Modeling and Verification for Agent Workflow and Trajectory
arXiv:2606. 06523v1 Announce Type: new Abstract: Equipping Large Language Models (LLMs) to execute reliable multi-step workflows has become a central challenge in artificial intelligence.
arXiv AI
Aug 26
The Empire, Long Divided, Must Unite: Architectural Convergence in Three LLM Agent Harnesses
The paper examines three open-source agent harnesses—LangChain’s deepagents, Earendil’s pi, and DeepSeek’s dsh—each built from contrasting design philosophies. By analyzing their source code and commit histories, the authors find that the mature harnesses converge on five common architectural elements: a commoditized loop, an append‑only replayable session record, model quirks stored as data, progressive disclosure of context, and explicit extension seams. A fourth harness, used as a held‑out check, also displays all five elements and even reuses another’s implementation, indicating that convergence arises from parallel discovery, diffusion, and literal reuse rather than independent invention. The study notes a missing dimension—external verifiability via a tamper‑evident record—highlighting a future axis for provenance‑sensitive domains.
Hugging Face Trending Papers
Aug 25
The Empire, Long Divided, Must Unite: Architectural Convergence in Three LLM Agent Harnesses
An agent harness is what turns a language model into an autonomous agent: the surrounding code that builds the model's context, mediates its tools, runs the loop, and persists state across a long-hori...
arXiv AI
Jun 19
FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
arXiv:2604. 11556v2 Announce Type: replace-cross Abstract: LLM-assisted software development has become increasingly prevalent, and can generate large-scale systems, such as compilers.
arXiv AI
Jul 17
Provable Coordination for LLM Agents via Message Sequence Charts
arXiv:2604. 17612v3 Announce Type: replace-cross Abstract: Multi-agent systems built on large language models (LLMs) are difficult to reason about.