Verifier

Follow this topic Ask about this topic

Recent momentum

-27%

37 papers in the last 28 days · 0.6% of indexed attention

Twelve weeks of publication activity for this topic as it is defined today.

Weekly history

Recent digests

What was published in this topic, kept on the site without email delivery.

Period ending 2026-09-21

10 new papers

A weekly snapshot of new work published in Verifier.

Period ending 2026-09-14

14 new papers

A weekly snapshot of new work published in Verifier.

Period ending 2026-09-07

19 new papers

A weekly snapshot of new work published in Verifier.

330 papers

Latest in Verifier

Browse all topics →

Filter-then-Verify: A Multiphase GNN and ModernBERT Framework for Social Engineering Detection in Email Networks
May 17, 2026Barsat Khadka, Prasant Koirala, Kshitiz Neupane +1Phishing Attack Detection
Stress-Testing Neural Network Verifiers with Provably Robust Instances
May 16, 2026David Troxell, Yulia Alexandr, Sofia Hunt +2Neural Network Verification Verifier
CAPS: Cascaded Adaptive Pairwise Selection for Efficient Parallel Reasoning
May 15, 2026Fangzhou Lin, Shuo Xing, Peiran Li +6Reasoning Benchmark Verifier
Contestable Multi-Agent Debate with Arena-based Argumentative Computation for Multimedia Verification
May 14, 2026Truong Thanh Hung Nguyen, Vo Thanh Khang Nguyen, Hoang-Loc Cao +3Multi-Agent Debate Verification-Triggered Multimodal
Precise Verification of Transformers through ReLU-Catalyzed Abstraction Refinement
May 14, 2026Hengjie Liu, Zhenya Zhang, Jianjun ZhaoNeural Network Verification Transformer Architectures
Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations
May 13, 2026Qisong He, Jinwei Hu, Xinmiao Huang +3Multi-Turn Large Language Model Conversations Verifier
NOVA: Fundamental Limits of Knowledge Discovery Through AI
May 12, 2026Salman Avestimehr, Ken Duffy, Muriel MédardEfficient Exploration Recursive Self-Improvement
Reward Hacking in Rubric-Based Reinforcement Learning
May 12, 2026Anas Mahmoud, MohammadHossein Rezaei, Zihao Wang +3Rubric-Based Reinforcement Learning Verifiable Rewards
SAGE: Scalable Automated Robustness Augmentation for LLM Knowledge Evaluation
May 12, 2026Xiaoyuan Li, Yuzhe Wang, Moxin Li +6Large Language Model Evaluation Verifier
VERDI: Single-Call Confidence Estimation for Verification-Based LLM Judges via Decomposed Inference
May 11, 2026Jasmine Qi, Danylo Dantsev, Muyang SunLarge Language Model Judges Confidence Estimation
Natural Language based Specification and Verification
May 11, 2026Zhaorui Li, Chengyu SongLarge Language Model Safety Vulnerable Code
Verification Mirage: Mapping the Reliability Boundary of Self-Verification in Medical VQA
May 11, 2026Ruinan Jin, Beidi Zhao, Myeongkyun Kang +2Medical Visual Question Answering Verifier
LITMUS: Benchmarking Behavioral Jailbreaks of LLM Agents in Real OS Environments
May 11, 2026Chiyu Zhang, Huiqin Yang, Bendong Jiang +8Large Language Model Safety Security Analysis
Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
May 11, 2026Taha Entesari, Mahyar FazlyabNeural Network Verification Reachability
The Open-Box Fallacy: Why AI Deployment Needs a Calibrated Verification Regime
May 11, 2026Phongsakon Mark Konrad, Tim Lukas Adam, Ane Cathrine Holst Merrild +4Artificial Intelligence Governance Verifier
FERA: Uncertainty-Aware Federated Reasoning for Large Language Models
May 11, 2026Ruhan Wang, Chengkai Huang, Zhiyong Wang +6Large Language Model Reasoning Reasoning Benchmark
CIVeX: Causal Intervention Verification for Language Agents
May 9, 2026Fabio RovaiCausal Intervention Causal Reasoning
VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
May 8, 2026Zichen Xie, Mrigank Pawagi, Yuxin Liu +5Code Generation Raw Judge Outputs
Interactive Critique-Revision Training for Reliable Structured LLM Generation
May 8, 2026Fei Xu Yu, Zuyuan Zhang, Mahdi Imani +2Verifier Group Relative Policy Optimization
TraceFix: Repairing Agent Coordination Protocols with TLA+ Counterexamples
May 8, 2026Shuren Xia, Qiwei Li, Taqiya Ehsan +1Multi-Agent Coordination Protocol
Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations
May 8, 2026Jun Zhang, Haibo Zhang, Chun Liu +2Control Barrier Functions Neural Control
GameGen-Verifier: Parallel Keypoint-Based Verification for LLM-Generated Games via Runtime State Injection
May 8, 2026Chaobo Jia, Ruipeng Wan, Ting Sun +5Verifier Test Generation
TeamBench: Evaluating Agent Coordination under Enforced Role Separation
May 8, 2026Yubin Kim, Chanwoo Park, Taehan Kim +9Teaming Role
Verifier-Backed Hard Problem Generation for Mathematical Reasoning
May 7, 2026Yuhang Lai, Jiazhan Feng, Yee Whye Teh +1Mathematical Reasoning Large Language Model Reasoning
Trust Without Trusting: A Recomputable Trust Protocol for Autonomous Agents
May 7, 2026Lars Kersten KroehlCanonical Action Verification And Attestation Trustworthy Artificial Intelligence
Teaching LLMs Program Semantics via Symbolic Execution Traces
May 7, 2026Jonas Bayer, Stefan Zetzsche, Olivier Bouissou +3Formal Verification Verifier
Logic-Regularized Verifier Elicits Reasoning from LLMs
May 7, 2026Xinyu Wang, Changzhi Sun, Lian Cheng +4Large Language Model Reasoning Verifier
Text-Graph Synergy: A Bidirectional Verification and Completion Framework for RAG
May 7, 2026Jiarui Zhong, Hong Cai ChenGraph-Based Retrieval Augmented Generation Reasoning Benchmark
COPYCOP: Ownership Verification for Graph Neural Networks
May 6, 2026Rahul Nandakumar, Deepayan ChakrabartiGraph Neural Networks Watermarking
Self-Induced Outcome Potential: Turn-Level Credit Assignment for Agents without Verifiers
May 6, 2026Senkang Hu, Yong Dai, Xudong Han +4Step-Level Supervision Credit Assignment
Deployment-Relevant Alignment Cannot Be Inferred from Model-Level Evaluation Alone
May 6, 2026Varad Vishwarupe, Nigel Shadbolt, Marina Jirotka +1Model Evaluation Artificial Intelligence Alignment
Trust, but Verify: Peeling Low-Bit Transformer Networks for Training Monitoring
May 4, 2026Arian Eamaz, Farhang Yeganegi, Mojtaba SoltanalianTransformer Layers Transformer Architectures
Reliable AI Needs to Externalize Implicit Knowledge: A Human-AI Collaboration Perspective
May 3, 2026Hengyu Liu, Tianyi Li, Zhihong Cui +5Human-Ai Collaboration Epistemic Actions
Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
May 1, 2026Alan L. McCannCanonical Action Verification And Attestation Runtime Enforcement
Skills as Verifiable Artifacts: A Trust Schema and a Biconditional Correctness Criterion for Human-in-the-Loop Agent Runtimes
May 1, 2026Alfredo MetereVerifier Human-In-The-Loop
Making Every Verified Token Count: Adaptive Verification for MoE Speculative Decoding
May 1, 2026Lehan Pan, Ziyang Tao, Ruoyu Pang +3Speculative Decoding Autoregressive Decoding
Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
Apr 30, 2026Zainab Rehan, Christian Medeiros Adriano, Sona Ghahremani +1Neuro-Symbolic Framework Safety-Critical Scenarios
AgentReputation: A Decentralized Agentic AI Reputation Framework
Apr 30, 2026Mohd Sameen Chishti, Damilare Peter Oyinloye, Jingyue LiReputation Verifier
ANCORA: Learning to Question via Manifold-Anchored Self-Play for Verifiable Reasoning
Apr 30, 2026Chengcao YangReinforcement Learning With Verifiable Reward Self-Play
HAVEN: Hybrid Automated Verification ENgine for UVM Testbench Synthesis with LLMs
Apr 30, 2026Chang-Chih Meng, Yu-Ren Lu, Guan-Yu Lin +3Test Generation Llm-Driven
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
Apr 29, 2026Arshad Beg, Diarmuid O'Donoghue, Rosemary MonahanGraph Representations Mock-Interface Synthesis
Evergreen: Efficient Claim Verification for Semantic Aggregates
Apr 28, 2026Alexander W. Lee, Benjamin Han, Shayak Sen +3Noisy Claim Verification Verifier
Granularity-Regulated Adaptive Computational Efficiency for Optimal Verification in Test-Time Scaling
Apr 28, 2026Ardit Krasniqi, Luan Vejsiu, Elira DervishiTest-Time Scaling Verifier
DYMAPIA: A Multi-Domain Framework for Detecting AI-based Video Manipulation
Apr 27, 2026Md Shohel Rana, Andrew H. SungExplainable Deepfake Detection Video Anomaly Understanding
Structural Enforcement of Goal Integrity in AI Agents via Separation-of-Powers Architecture
Apr 26, 2026Rong XiangAuthorization Structural Enforcement
AutoPyVerifier: Learning Compact Executable Verifiers for Large Language Model Outputs
Apr 24, 2026Pouya Pezeshkpour, Estevam HruschkaVerifier Large Language Model Output
From Natural Language to Verified Code: Toward AI Assisted Problem-to-Code Generation with Dafny-Based Formal Verification
Apr 24, 2026Md Erfan, Md Kamal Hossain Chowdhury, Ahmed Ryan +1Formal Verification Code Generation
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
Apr 23, 2026Xiaofeng Zhou, Guangyu Hu, Hongce Zhang +1Probabilistic Model Checking Verifier
VLAA-GUI: Knowing When to Stop, Recover, and Search, A Modular Framework for GUI Automation
Apr 23, 2026Qijun Han, Haoqin Tu, Zijun Wang +11Graphical User Interface Agents Loop
Debating the Unspoken: Role-Anchored Multi-Agent Reasoning for Half-Truth Detection
Apr 21, 2026Yixuan Tang, Yirui Zhang, Hang Feng +1Fact-Checking Truth
The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification
Apr 20, 2026Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1Neural Network Verification Convex Sets
FUSE: Ensembling Verifiers with Zero Labeled Data
Apr 20, 2026Joonhyuk Lee, Virginia Ma, Sarah Zhao +4Verifier Ground Truth
AJ-Bench: Benchmarking Agent-as-a-Judge for Environment-Aware Evaluation
Apr 20, 2026Wentao Shi, Yu Wang, Yuyang Zhao +8Llm-As-A-Judge Verifier
Aether: Network Validation Using Agentic AI and Digital Twin
Apr 20, 2026Jordan Auge, Sam Betts, Giovanna Carofiglio +3Optical Networks Digital Twin Framework
SolidCoder: Bridging the Mental-Reality Gap in LLM Code Generation through Concrete Execution
Apr 20, 2026Woojin Lee, Jin-Xia HuangMock-Interface Synthesis Large Language Model Generation
Learning to Correct: Calibrated Reinforcement Learning for Multi-Attempt Chain-of-Thought
Apr 20, 2026Muhammed Emrullah Ildiz, Halil Alperen Gozeten, Ege Onur Taga +1Reinforcement Learning With Verifiable Reward Efficient Chain-Of-Thought Reasoning
Learning from AVA: Early Lessons from a Curated and Trustworthy Generative AI for Policy and Development Research
Apr 20, 2026Nimisha Karnatak, Mohamad Chatila, Daniel Alejandro Pinzón Hernández +3Trustworthy Artificial Intelligence Verifier
WISV: Wireless-Informed Semantic Verification for Distributed Speculative Decoding in Device-Edge LLM Inference
Apr 20, 2026Zixuan Liu, Zhiyong Chen, Nan Xue +4Speculative Decoding Heterogeneous Edge Devices
Peerispect: Claim Verification in Scientific Peer Reviews
Apr 19, 2026Ali Ghorbanpour, Soroush Sadeghian, Alireza Daghighfarsoodeh +4Peer Review Noisy Claim Verification
A Multi-Agent Approach for Claim Verification from Tabular Data Documents
Apr 19, 2026Rudra Ranajee Saha, Laks V. S. Lakshmanan, Raymond T. NgVerifier Tabular Data

May 17, 2026 · cs.CRJ/K move · Enter open · S save

Filter-then-Verify: A Multiphase GNN and ModernBERT Framework for Social Engineering Detection in Email Networks

Barsat Khadka, Prasant Koirala, Kshitiz Neupane, Nick Rahimi

Social engineering attacks exploit human trust rather than software vulnerabilities, making them difficult to detect using conventional filters. We propose a two-stage filter-then-verify framework combining inductive Graph Neural Networks (GNNs) for structural anomaly detection with a co-attention ModernBERT model for content verification. The GNN identifies anomalous sender-receiver patterns, while BERT analyzes message context to reduce false positives. Using the Enron dataset augmented with realistic synthetic campaigns, we show that the framework achieves 86% recall in structural filtering and over 92% precision after BERT refinement, effectively detecting both external attacks and insider threats. Our results demonstrate that combining structural and content analysis allows practical, scalable detection of multi-stage social engineering attacks in email networks.

Phishing Attack Detection Anomaly Detection Modernbert Graph Neural Networks Verifier

Open paper Ask about it PDF

Recent momentum

Neighbouring directions

Recent digests

10 new papers

14 new papers

19 new papers

Latest in Verifier