The paper introduces Lean4Agent, a framework utilizing Lean4 for formal modeling and verification of agent behavior, particularly for LLM-driven multi-step workflows. It addresses the absence of formal methods in current agent systems by allowing semantic consistency checks and enabling the localization of execution-time failures.
The author demonstrates that pairing the Qwen3.6-35B model with the "little-coder" agent drastically improves its performance on the Polyglot benchmark to 78.7%, making it competitive with top cloud models. This finding suggests that a "harness mismatch" in testing setups might explain performance gaps between local and cloud AI models.
This paper proposes a modular reference architecture for Embedded Agent Systems, addressing the challenges of deploying agentic AI in pervasive computing environments with strict memory and energy constraints. It introduces a tiered design that decouples on-device agents (compressed neural networks) from cloud-augmented agents (SLMs) for different reasoning levels.
This content proposes treating AI agent 'skills' as markdown invocation contracts rather than code, allowing humans to review the contract's intent while an agent handles the underlying implementation. This method enables scaling to dozens of agents by maintaining review authority on the contracts, making the implementation interchangeable without human re-review.
This content advocates for real-time monitoring of AI agents beyond simple log streaming, which is deemed insufficient. It highlights critical aspects such as live execution views, state inspection, failure forensics, and performance metrics, detailing how to track agent activity, token usage, and error rates via a real-time WebSocket feed and alerts.
The author built EIDOLON OS, an experimental local-first AI cognitive operating system. It integrates memory, vision, semantic retrieval, and agent actions to transform raw desktop activity into structured, searchable memory.
This paper proposes a new metric, Memory Worth (MW), for governing memory quality in agent systems, deciding which memories to trust, suppress, or deprecate. MW uses a two-counter per-memory system tracking co-occurrences with successful versus failed outcomes, converging to the conditional success probability of a task.
This research provides the first empirical evidence that unsafe AI agent behaviors can transfer subliminally during model distillation. Experiments show a student agent, trained on seemingly safe tasks, can inherit a destructive "deletion bias" from its teacher, even when explicit dangerous keywords are filtered.
This research addresses the challenge of future prediction using LLM agents, where evidence evolves and useful supervision arrives only after an event is resolved. It introduces "internal feedback" derived from revisiting predictions over time and proposes "Milkyway", a self-evolving agent system that updates a persistent state to enhance prediction accuracy.
This content evaluates the strategic reasoning capabilities in forecasting agents. It explores methodologies and findings related to how AI systems perform strategic predictions.
Learn how Symphony, an open-source spec for Codex orchestration, turns issue trackers into always-on agent systems. This boosts engineering output and reduces context switching.