Verification Framework

Ask about this topic

Momentum

7 papers in the last four weeks, up 133% on the four weeks before. 0.1% of all new papers.

Jul 6Week of Sep 21
View on map

Latest papers 48

All topics
CardsList

  1. Incident-Arena: Getting agents to the last nine of reliability

    Sep 30, 2026Andre Fu, Malik Drabla, Leon Liu +5Incident ResponseCoding Agents

    Abundant AI · Adrenaline AI · Carnegie Mellon University +2

  2. Who Verifies the Graph? Misspecification Attacks on Causal Action Verification for Language Agents

    Sep 30, 2026Fabio RovaiOn-Chain AttestationsVerification Framework

    The Tesseract Academy London, United Kingdom

  3. VStress: Correlation-Aware Auditing and Adaptive Budget Allocation for Repeated Verifiers

    Sep 29, 2026Miaobo Hu, Shuhao Hu, Xiaobo Guo +5Verification FrameworkStress Testing

    School of Artificial Intelligence, University of Chinese Academy of Sciences, Beijing, China · Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China

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

    Sep 28, 2026Yuning Han, Yangchenchen Jin, Tyler Jandreau +1Verification FrameworkSwe-Bench Verified

    University of Florida · Aeronix

  5. A Cheap Verifier is Good Enough: LLM Post-training is Robust to Erroneous Rewards

    Sep 27, 2026Andreas Plesner, Curtis Northcutt, Francisco Guzmán +1Verification FrameworkLarge Language Model Judges

    ETH Zurich · Handshake AI

  6. SciGen-Verifier: A Multimodal Reasoner for Explainable Verification in Scientific Image Generation

    Sep 27, 2026Jiali Chen, Zhengteng Lin, Zuqi Wang +6Scientific FigureReference-Guided Multimodal In-Context Verification

    South China University of Technology, The Hong Kong Polytechnic University · South China University of Technology · The Hong Kong Polytechnic University

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

    Sep 14, 2026Asaad AlthoubiVerification FrameworkLarge Language Model Agents

    Oklahoma State University Stillwater, OK USA

  8. No Free Checker: A Survey of Verifiers for Robot Policies

    Sep 10, 2026Yang Wan, Xihang Yue, Zhirui Liu +7Verification FrameworkPolicy Evaluation

    Zhejiang University · City University of Hong Kong

  9. Where the Verifier Fails: A Category-Level Audit of Reward Signals in RLVR

    Sep 1, 2026Esther XinVerifiable RewardsReinforcement Learning With Verifiable Reward

    Independent Researcher

  10. Cheap Verifiers, Large Blind Spots: Measuring the Reliability Cost of Cost-Saving Cascades

    Sep 1, 2026Dushyant RajputVerification FrameworkEqual Error Rate

    AltSlate Labs LLP

  11. Closing the Verification Loop: Self-Check Captioning for Long-Paragraph Detailed Audio Captioning

    Aug 31, 2026Fengji Ma, Yan Rong, Xu Li +3Video CaptioningTranscription

    The Hong Kong University of Science and Technology (Guangzhou) · Kling Team, Kuaishou Technology

  12. Diagnosis Before Recovery: Turning Agent Failures into Selective Self-Correction

    Aug 12, 2026Pan Wang, Yihao Hu, Hang Wang +6Coding AgentsDiagnosis

    Ant International

  13. Test-Time Scaling for CAD Generation via Verifier-Free Consensus Selection

    Aug 10, 2026Aaron Haag, Altay Kaçan, Bertram Fuchs +1Parametric Computer-Aided Design ProgramsVerification Framework

    Siemens AG, Foundational Technologies, Munich, Germany

  14. The Order Is the Guarantee: Verifier-Budgeted Code Deletion with Static-First Learned Proposals

    Aug 5, 2026Ruitong Li, Binjie Guo, Aisheng Mo +4Code QualityVerification Framework

    University of Hong Kong · Zhejiang University · Dalian University of Technology +1

  15. Verified Tool Calls Improve LLM Agent Reliability Under Non-Atomic Failures

    Jul 31, 2026Isham Kalappurackal Mansoor, Abhishek Phadke, Pratip RanaLarge Language Model AgentsCall

    Department of Computer Science Old Dominion University Norfolk, VA 23529 · School of Engineering and Computing Christopher Newport University Newport News, VA 23606

  16. ARCHER: Agentic Rule and Compliance Harness for Executable Regulations

    Jul 28, 2026Chiraag Singh Anand, Xue Wen Tan, Lionel Teo +1ComplianceBuilding Information Modeling

    Infocomm Media Development Authority of Singapore

  17. DualityCert: Verifier-Gated Language-Model Repair of Broken Duality Claims in Quantum Field Theory

    Jul 26, 2026Xingyang YuEffective Field TheoryVerification Framework

    Department of Physics Virginia Tech Blacksburg, VA 24061, USA

  18. Code Monitor Red Teaming for Public-Test-Passing Code

    Jul 23, 2026Junchi Liao, Jiawen Deng, Fuji RenCode QualityRed-Teaming

    University of Electronic Science and Technology of China Chengdu, China

  19. HALLMARK: Diagnosing Three Failure Modes in LLM Citation Verifiers

    Jul 20, 2026Patrik Reizinger, Wieland BrendelCitationsVerification Framework

    Max Planck Institute for Intelligent Systems, ELLIS Institute Tübingen

  20. Verify, Repair, Repeat, or Stop? Robust Stopping for Noisy Verify-Repair Loops in LLM Agents

    Jul 20, 2026Yitao Wu, Si Shen, Rui Yang +2Verification FrameworkSelf-Verification

    saofund.ai, Shenzhen, China · Shenzhen Xingqing Zhiti Technology Co., Ltd., Shenzhen, China · School of Information Technology and Engineering, Lanzhou University, Lanzhou, China

  21. Where Does Agent Reliability Come From? A Cross-Benchmark Decomposition of Verification Loops, Specialist Models, and Scaffolding in a Production Enterprise Agent

    Jul 19, 2026Arunabh DastidarVerification FrameworkConfabulation

    for the Leni Team · Leni Inc.

  22. Partially Correlated Verifier Cascades in LLM Harnesses: Concave Log-Odds, Polynomial Reliability, and Blind-Spot Ceilings

    Jul 15, 2026Jiangang HanVerification FrameworkFinite-Sample Certificates

    Independent researcher

  23. TIGER: Text-Conditioned Visual Gated Routing with Acceptance Alignment for Multimodal Speculative Decoding

    Jul 13, 2026Quynh Vo, Cong-Duy Nguyen, Ponhvoan Srey +2Speculative DecodingUnimodal Encoders

    National University of Singapore · Nanyang Technological University · Center of AI Research, VinUniversity

  24. Reinforcement Learning with Verifiable Physics: Post-training LLMs with Continuous Rewards

    Jul 11, 2026Pengfei Cai, Utkarsh Utkarsh, Alan Edelman +2Neural Partial Differential Equation SolversVerification Framework

    Massachusetts Institute of Technology

  25. The Patchwork Problem in LLM-Generated Code

    Jul 9, 2026Viraaji Mothukuri, Reza M. PariziAi-Assisted Programming TasksVerification Framework

    Decentralized Science Lab, College of Computing and Software Engineering Kennesaw State University, GA, USA

  26. Reverse Engineering Compliance: A Dual-Graph Verification Framework for Auditing Legacy IT Security Concepts

    Jul 9, 2026Lea Roxanne Muth, Marian MargrafSecurity EvaluationReverse Engineering

    Department of Mathematics and Computer Science Freie Universität Berlin Berlin, Germany

  27. Dockerless: Environment-Free Program Verifier for Coding Agents

    Jun 26, 2026Wenhao Zeng, Yuling Shi, Xiaodong Gu +10Verification FrameworkCoding Agents

    Shanghai Jiao Tong University · Douyin Group

  28. An Empirical Study of LLM-Generated Specifications for VeriFast

    Jun 25, 2026Wen Fan, Minh Tran, Sanya Dod +5Verification FrameworkCode Generation

    Purdue University West Lafayette, Indiana, USA · University of Michigan Ann Arbor, Michigan, USA · Meta Menlo Park, California, USA

  29. The Verifier is the Curriculum: Execution-Gated Self-Distillation for Cross-Family Game Generation

    Jun 23, 2026Chenyu Zhou, Qiliang Jiang, Shuning Wu +1Verification FrameworkMotion Generation

    School of Engineering, Institute of Science Tokyo, Japan · College of Control Science and Engineering, Zhejiang University, China · Department of Electrical and Computer Engineering, National University of Singapore, Singapore

  30. Maestro Order: A Model-Agnostic Orchestration Harness

    Jun 22, 2026Hidayet AksuOrchestrationProbabilistic Model Checking

  31. VERITAS: Verifier-Guided Proof Search for Zero-Shot Formal Theorem Proving

    Jun 17, 2026Manish Acharya, Zhenyu Liao, Yueke Zhang +3Theorem ProvingVerification Framework

    Department of Computer Science, Vanderbilt University, Nashville, TN, USA · Amazon, Seattle, WA, USA

  32. Scaling LLM Reasoning from Minimal Labels: A Semi-Supervised Framework with a Lightweight Verifier

    Jun 15, 2026Keizo Kato, Chenhui Chu, Yugo Murawaki +1LLM Reasoning StrategiesProcess-Level Supervision

    Fujitsu Limited, Kawasaki, Japan · Kyoto University, Kyoto, Japan · National Institute of Informatics, Tokyo, Japan

  33. Odds Law: The Decomposition Algebra On How Intelligence Organizes Itself to Solve Difficult Problems Reliably

    Jun 14, 2026Hidayet AksuAlgebraic StructuresVerification Framework

  34. When Good Verifiers Go Bad: Silent Negative Transfer in Verifier-Guided VLM Training

    Jun 12, 2026Jianzhe LinVerification FrameworkSelf-Verification

    MetaAI · Work done at Meta

  35. Teacher-Free Self-Training Amplifies but Does Not Compound: A Pass@KK Crossover on a Free-Verifier Domain

    Jun 5, 2026Igor Lima StrozziSelf-PlayCritic-Free Reinforcement Learning

    Applied Mathematics Department Federal University of Rio de Janeiro

  36. Before the Model Learns the Bug:Fuzzing RLVR Verifiers

    May 31, 2026Jaideep RayReinforcement Learning With Verifiable RewardVerifiable Rewards

  37. MarginGate: Sparse Margin-Triggered Verification for Batch-Invariant LLM Inference

    May 28, 2026Kexin Chu, Yang Zhou, Wei ZhangLLM Inference OptimizationDecoding

    University of Connecticut · UC Davis

  38. Opt-Verifier: Unleashing the Power of LLMs for Optimization Modeling via Dual-Side Verification

    May 28, 2026Haoyang Liu, Jie Wang, Boxuan Niu +8Optimization ModelingOperations Research

    MoE Key Laboratory of Brain-inspired Intelligent Perception and Cognition, University of Science and Technology of China · Noah’s Ark Lab, Huawei Technologies · Tianjin University

  39. The Hidden Signal of Verifier Strictness: Controlling and Improving Step-Wise Verification via Selective Latent Steering

    May 20, 2026Yefan Zhou, Yilun Zhou, Austin Xu +3Verification FrameworkHidden States

    Dartmouth College · Datadog AI Research · Salesforce AI Research

  40. OpenComputer: Verifiable Software Worlds for Computer-Use Agents

    May 19, 2026Jinbiao Wei, Qianran Ma, Yilun Zhao +4Computer-Use AgentsVerification Framework

    Yale NLP Lab · University of Pennsylvania · University of North Carolina at Chapel Hill

  41. Verify-Gated Completion as Admission Control in a Governed Multi-Agent Runtime: A Bounded Architecture Case Study

    May 18, 2026Hai-Duong Nguyen, Xuan-The TranAdmissibilityRuntime Enforcement

    Vietnam Maritime University, Haiphong, Vietnam

  42. Stress-Testing Neural Network Verifiers with Provably Robust Instances

    May 16, 2026David Troxell, Yulia Alexandr, Sofia Hunt +2Neural Network VerificationVerification Framework

    Department of Statistics & Data Science, University of California, Los Angeles · Department of Mathematics, University of California, Los Angeles · Max Planck Institute for Mathematics in the Sciences, Leipzig

  43. Interactive Critique-Revision Training for Reliable Structured LLM Generation

    May 8, 2026Fei Xu Yu, Zuyuan Zhang, Mahdi Imani +2Verification FrameworkReinforcement Learning With Verifiable Reward

    The George Washington University · Northeastern University · United States Military Academy

  44. TeamBench: Evaluating Agent Coordination under Enforced Role Separation

    May 8, 2026Yubin Kim, Chanwoo Park, Taehan Kim +9TeamingRole

    MIT · Google Research · Independent Researcher +1

  45. Verify to Amplify: Improving Reasoning via Learned Chain-of-Thought Verification

    Mar 3, 2026Maria-Florina Balcan, Avrim Blum, Kiriaki Fragkia +2Chain-of-Thought ReasoningVerification Framework

    Carnegie Mellon University · Toyota Technological Institute at Chicago · Northwestern University

  46. MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification

    Dec 11, 2025Mantas Baksys, Stefan Zetzsche, Olivier Bouissou +1Theorem ProvingVerification Framework

    University of Cambridge, Cambridge, UK · Amazon Web Services, London, UK · Amazon Web Services, Boston, USA

  47. Pessimistic Verification for Open Ended Math Questions

    Nov 26, 2025Yanxing Huang, Zihan Tang, Zejin Lin +2Verification FrameworkMath Problems

    Qiuzhen College, Tsinghua University, Beijing, China · Institute for AI Industry Research (AIR), Tsinghua University, Beijing, China · Dept. of Comp. Sci & Tech., Institute for AI, Tsinghua University, Beijing, China.

  48. Spec-Harness: Measuring and Improving Behavioral Adequacy of LLM-Synthesized Formal Specifications

    Date pendingMd Rakib Hossain Misu, Iris Ma, Cristina V. LopesLlm-Driven Code SynthesisFormal Verification

    Department of Informatics, University of California, Irvine