Hegel: A Universal Property-Based Testing Protocol Built on Hypothesis
A universal property-based testing protocol and family of libraries, built on Hypothesis
Read the full articleYou might also wanna read
Proof-or-Stop: Don't Trust the Agent, Trust the Evidence -- Loop Engineering for Verifiable Evidence-Gated Lifecycle Control
arXiv:2607.14890v1 Announce Type: new Abstract: Autonomous coding agents increasingly execute multi-step software work, but lifecycle states
A Technical Taxonomy of LLM Agent Communication Protocols: Classifying Multi-Agent System Interoperability
As large language models (LLMs) advance and multi-agent systems aim to overcome the limits of standalone agents, robust communication protoc
arxiv.org·24d agoA Technical Taxonomy of LLM Agent Communication Protocols: Classifying Multi-Agent System Interoperability
As large language models (LLMs) advance and multi-agent systems aim to overcome the limits of standalone agents, robust communication protoc
arxiv.org·24d agoAgora: Toward Autonomous Bug Detection in Production-Level Consensus Protocols with LLM Agents
Agora employs LLM-powered multi-agent collaboration to autonomously spot critical bugs in consensus protocols, uncovering 15 new logic flaws
Case Study: Physicist-Supervised AI Development of Scientific Software Reveals Supervision Design Gaps
Are AI agents tools, co-authors, or researchers? We present a quantified case study ($N=1$): a physicist supervising an AI coding agent (Cla
arxiv.org·1mo ago
A Predicate-Based Abstraction for Declarative Computation Over State Spaces
Many mainstream programming interfaces represent computation procedurally, as sequences of instructions, control-flow constructs, and explic
arxiv.org·1mo agoHow to Test SaaS AI Agents for Session Observability Before Committing
A developer has proposed an OpenTelemetry-inspired acceptance protocol for evaluating whether SaaS-based AI coding agents, such as MonkeyCod
Comments
Sign in to join the conversation.
No comments yet. Be the first.