LLM Agent Verification

LLM: Large Language Model

Ask about this topic

Momentum

18 papers in the last four weeks, up 260% on the four weeks before. 0.2% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 72

All topics
CardsList

  1. Skill-V: Verifiable Self-Evolving Skill Library for Interactive Agents

    Oct 8, 2026Jie Ma, Zhipeng Qian, Yufei Ma +6LLM Agent Skill LearningLLM Agent Skill Retrieval

    Xiamen University · Kuaishou Technology · Nankai University

  2. What Output-Only Review Cannot Verify: Study Contracts for Research Agents

    Oct 8, 2026Eitan Waks, Ben GlockerLLM Agent VerificationAI Agent Auditing

    Department of Computing, Imperial College London

  3. Multi-Aspect Runtime Verification for Simulation-Based V&V of LLM-Enabled Autonomous Agents

    Oct 6, 2026Nikolaos Kekatos, Dimitrios Nikou, Anastasios Temperekidis +4LLM Agent VerificationRuntime Enforcement for AI Agents

    Clone Systems, Cyprus · International Hellenic University, Greece · University of Thessaly, Greece +2

  4. VeriHarness: Scaling Agentic Verification for Long-Horizon Tasks

    Oct 1, 2026Caiqi Zhang, Rujun Han, Zifeng Wang +4LLM Agent VerificationLong-Horizon LLM Agents

    University of Cambridge · Google Cloud AI Research

  5. FORALL-LEAN-AGENT for Auditable Reasoning in Formal Mathematics and Software Verification

    Oct 1, 2026Naing Oo LwinAI Agent AuditingFormal Verification

    Astrio Labs

  6. Mid-Harness: Scaling Actions Between Model and Harness for Terminal Agents

    Sep 30, 2026Minki Kang, Ryo Hachiuma, Shaokun Zhang +8Terminal AgentsTest-Time Scaling

    NVIDIA · KAIST

  7. NarrativeSteward: Coordinating Delegation, Guidance, and Verification in Agent-Assisted Interactive Narrative Authoring

    Sep 30, 2026Wenjin Wang, Jiazhen Lei, Yuxin Sha +6Interactive StorytellingLLM Agent Orchestration

    Interactive Entertainment Group, Tencent Inc Shanghai, China

  8. Can Terminal Agents Trust Their Own Verification? Diagnosing and Improving Self-Verification

    Sep 30, 2026Yingfeng Luo, Shaowei Wei, Daixin Wang +7LLM Agent VerificationLLM Agent Reliability

    Northeastern University · Inclusion AI, Ant Group · University of Maryland, College Park

  9. LatentSift: Policy-State Filtering for Token-Efficient Verification of Software Engineering Agents

    Sep 28, 2026Yuning Han, Yangchenchen Jin, Tyler Jandreau +1Software Engineering AgentsLLM Agent Verification

    University of Florida · Aeronix

  10. Solver Agent: an Agentic AI Framework for Theoretical Physics Computations Applied to F-theory Uplifts of O3-planes and S-folds

    Sep 28, 2026Eliott Morgensztern, Cesar Fierro Cota, Alessandro MininnoAI Agents for Scientific DiscoveryLLM Agent Verification

    Sorbonne Université, CNRS, Laboratoire de Physique Théorique et Hautes Energies, Campus Pierre et Marie Curie, 4 place Jussieu, F-75005, Paris, France · Department of Physics, University of Wisconsin–Madison, 1150 University Avenue, Madison, WI 53706, USA

  11. StateGuard: Analytical-State Management with Validity-Aware Intervention for Long-Horizon Data Agents

    Sep 28, 2026Wenle Liao, Zhao Wang, Jingchao Zhang +3LLM Agent VerificationGraph-Based Agent Memory

    Gaoling School of Artificial Intelligence Renmin University of China

  12. Large Language Models for Structured Clinical Data Analysis: Dual-Agent Grounding and Validation

    Sep 28, 2026Erfan D. Dehkalani, Seetha Shankaran, Abbot R. Laptook +3Multi-Agent LLM SystemsLLM Grounding

    Fetal-Neonatal Neuroimaging and Developmental Science Center, Boston Children’s Hospital, and Harvard Medical School, Boston, MA, USA · Department of Pediatrics, Wayne State University School of Medicine, Detroit, MI, USA · Department of Pediatrics, Women & Infants Hospital of Rhode Island, and Warren Alpert Medical School of Brown University, Providence, RI, USA +1

  13. Maat: Independent Deterministic Contract-Based Governance for Multi-Agent LLM Workflows

    Sep 27, 2026Uliana ElinaMulti-Agent LLM SystemsLLM Agent Verification

    SynWe Group s.r.o.

  14. Vestrum: Improving Agent Harnesses by Adapting Their Verification, Structure and Memory

    Sep 27, 2026Jayant Parashar, Eugene F. Douglass, William C. Bastian +1LLM Agent MemoryAgent Harness Optimization

    University of Georgia · Emory University

  15. Who Holds the Pen? Let Specifications, Not Agents, Sign Off

    Sep 24, 2026Haiqing Li, Xin Ma, Yinhao Wu +7LLM Agent VerificationRuntime Enforcement for AI Agents

    Department of Computer Science and Engineering, The University of Texas at Arlington, Arlington, TX, USA · Monash University, Melbourne, VIC, Australia · Department of Computer Science, Kent State University, Kent, OH, USA

  16. Calibration Is Not Verification: Falsifiability-Aware Conformal Routing for Mixture-of-Agents

    Sep 22, 2026Nada Rahali, Zijia Wang, Zhisong LiuFactual Consistency EvaluationConformal Prediction

    LUT University, Finland · Dell Technologies, United Kingdom · Department of Electrical and Electronic Engineering, Imperial College London, United Kingdom

  17. How Do Agent Harnesses Create Value? Planning Information and Release Control in Stateful LLM Agents

    Sep 17, 2026Yukun Zhang, Kemu Xu, Yishen ChenAgent Harness OptimizationLLM Agent Verification

    The Chinese University of Hong Kong, Shenzhen, China · University of Edinburgh, Edinburgh, United Kingdom · The Chinese University of Hong Kong, Hong Kong, China

  18. Look Before You Leap: Pre-Action Verification for LLM Agents

    Sep 14, 2026Asaad AlthoubiLLM Agent VerificationAI Agent Benchmarks

    Oklahoma State University Stillwater, OK USA

  19. Can AI Agents Deliver Verifiable Network-Wide Outcomes Across Authority Boundaries?

    Sep 9, 2026Tianzhu Zhang, Chih-Kai Huang, Meikang QiuMulti-Agent OrchestrationLLM Agent Verification

    Nokia Bell Labs Massy, France · LTCI, T´el´ecom Paris, Institut Polytechnique de Paris Palaiseau, France · Augusta University Georgia, USA

  20. Eliciting Self-Verification in Multimodal Reasoning Agents with Reinforcement Learning

    Sep 7, 2026Vishwas Sathish, Viresh Ranjan, Xinliang Zhu +2Tool Use in VLMsMultimodal QA

    University of Washington · Seattle, WA, USA · Amazon +1

  21. PRIMUS: Identity, Governance, and Verification for Multi-Agent Federations

    Sep 7, 2026Sasank Annapureddy, Anjaneya Prasad ThamataniLLM Agent VerificationMulti-Agent Consensus

  22. Plan Pointers and Record-Directive Form in Budgeted Verification of Inherited Agent Memory

    Sep 3, 2026Kazuki NakayashikiLLM Agent MemoryLLM Agent Verification

    Glasp

  23. VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement

    Sep 2, 2026Wenzhuo Xu, Yuchen Zhu, Chongjian Ge +8Physical Consistency in Video GenerationLLM Agent Verification

    1Carnegie Mellon University · 2Georgia Institute of Technology · 4Adobe Research +1

  24. The reach of a verification tool decides its value: A controlled study of verification surface, artifact quality, and cost in AI coding agents

    Aug 28, 2026Achint MehtaAutomated Software TestingAI Coding Agents

  25. An Agentic Workflow for Legacy HPC Modernization: Converting the Two-Electron-Integral Core of GAMESS

    Aug 12, 2026Yuzhong Shen, Masha Sosonkina, Peng Xu +1Software Engineering AgentsAgentic Workflows

    Dept. of Electrical and Computer Engineering Old Dominion University Norfolk, VA, USA · Dept. of Chemistry Iowa State University and Ames National Laboratory Ames, IA, USA

  26. MIRA: Medical Image Reflection for Agentic Diagnosis

    Aug 11, 2026Shengzhi Wang, Jun Yang, Kai Wu +11Medical Image AnalysisLLM Agent Verification

    Tongji University · École Normale Supérieure – PSL · Nanjing University +2

  27. When Self-Evolution Backfires: Pre-Commit Gating against Skill Contamination in LLM Agents

    Aug 6, 2026Linfang Shang, Ming Xu, Yiding Sun +4AI Agent ReliabilityLLM Agent Skill Learning

    Tencent

  28. SkillHEX: Improving Agent Skills via Hypothesis-Driven Autonomous Exploration and Exploitation

    Aug 6, 2026Yuru Feng, Yaoqi Chen, Beidi Zhao +7Test-Time AdaptationLLM Agent Self-Improvement

    Microsoft · University of California, San Diego · University of Science and Technology of China +1

  29. The LLM Proposes, the Executive Disposes: A Self-Verifying Agent Instrument that Dissociates Commitment Drift from Binding Drift in Long-Horizon Agents

    Aug 4, 2026Mohsen ArjmandiAgent Failure AnalysisAI Agent Reliability

    Independent researcher

  30. VeriTrace: Human-Like Temporal Exploration Completes Agentic Action Space

    Aug 3, 2026Yu-Tung Liu, Cunxi YuLLM Agent VerificationRTL Code Generation

    University of Maryland, College Park College Park, USA