PaperScope
LIVE · 2026-10-30 05:40 UTC

verification 18 papers this week · +12% WoW

papers mentioning "verification" in title/abstract · 30d window

Latestcs.CLcs.LGcs.AIcs.CV

Mentions per Day (30d)

Latest Papers

#TitleAuthorsCatDate
1TextSeal2: Distortion-Free LLM Watermarking with Copula Mixing and Memoryless RacesTom Sander, Pierre Fernandez, Itai Gat +11cs.CR2026-10-29
2VeriCUA: Verification as Agentic Exploration for Computer-Using AgentsQiushi Sun, Da Yu, Alexander Knop +5cs.AI2026-10-29
3Deep Learning Based Behavioral Drift Modeling for Continuous Biometric AuthenticationSuprava Saha Dibya, Minar, Abdulla Al Noman +2cs.CR2026-10-29
#4Beyond Selected Breakthroughs: Evaluating Language Models on Randomly Sampled Mathematical ConjecturesHelen Jenne, Davis Brown, Jesse He +1cs.AI2026-10-29
#5Only Accepted Tokens Count: An Energy Accounting of Speculative Decoding Under Latency TargetsBole Ma, Ayesha Afzal, Jan Eitzinger +2cs.DC2026-10-29
#6Statistical Analysis of Synthetic Data with Verification: A Linear Regression FrameworkHeejune Sheen, Harrison H. Zhoustat.ML2026-10-29
#7ScienceJudge: Pattern Perturbation Augmentation for Sentence-Level Scientific Claim VerificationChuhai Cai, Xin Chen, Min Yang +1cs.CL2026-10-29
#8UPPAAi: Towards LLM-Assisted Modeling, Verification, Analysis and SynthesisPeter Dolog, Kim G. Larsen, Marius Mikučionis +1cs.SE2026-10-29
#9EditAgent: Rethinking Agentic Image EditingHaiyang Xu, Tianyu Wang, Jialu Li +5cs.CV2026-10-29
#10Soei: Structured Observability of Evidence and Intent for Multi-Agent AI Software EngineeringMohammed Nayeem Khan, K S Sarun Kumarcs.SE2026-10-29
#11ARBITRA: Robust Document-Level ATT&CK Extraction via Multi-Expert ArgumentationYoungjin Jin, Seungwon Shincs.CL2026-10-29
#12Learning to Formulate: Agentic Hardware-Software Co-Design of AI Infrastructure through Progressive Optimization and VerificationYi Ding, Li Shangcs.AR2026-10-29
#13XLaw-JP-27B: A Lightweight Open Model Specialized for Japanese LawAndrew Shincs.CL2026-10-29
#14Goal-Aware Dynamic Multi-Agent Collaboration for Long-Horizon TasksXu Shen, Lingyong Yan, Shuaiqiang Wang +4cs.AI2026-10-29
#15Reading-Level Verification of Kanji Words in Japanese Financial Speech SynthesisCheng Zhangcs.SD2026-10-29
#16VEvo-Harness: Causally-Guarded Self-Evolving Harness for Agentic Image GenerationYuan Wang, Yuhang Yu, Mengting Chen +4cs.CV2026-10-29
#17DICE: Decentralized Incentive-driven Federated Learning for Efficient & Scalable Customization of Pretrained Models in Web3Hong Lin, Zhongle Xie, Lidan Shou +2cs.CR2026-10-29
#18PCM: A Proof-Carrying Message Protocol for Verifiable Multi-Agent CommunicationBravish Ghoshcs.CE2026-10-29
#19Certified Access: Test-Time Compute on Conservative Physics-Structured AI MemoryPratik Jawahar, Riccardo Maggioni, Jonas Petersen +5cs.AI2026-10-29
#20HEARSAYBENCH: Can AI Navigate from Abstract Human Rights to Lived Lives?Ava Iranmanesh, Sobhan Lotfi, Ali Iranmanesh +1cs.CL2026-10-28
#21Blind Spots: Where Small Language Models Fall Behind Frontier Models on Terminal TasksAshima Suvarna, Ruta Desai, Ahmed Elgoharycs.CL2026-10-28
#22Why Speculative Decoding Works Better Than Predicted on Sparse MoE ModelsEkagra Ranjan, Komal K. Teru, Bharat Venkitesh +1cs.LG2026-10-28
#23CopyLoop: Fast Looped Transformer Decoding via Context Copying and Shallow ScreeningWenyu Du, Stephen Chungcs.CL2026-10-28
#24Think Before You Act: Decision Gate for LLM AgentsIftach Shoham, Yuval David, Offer Akrabi +5cs.AI2026-10-28
#25Data Scaling Laws in Stereo Matching: From In-domain Fitting to Cross-domain GeneralizationTong Zhao, Di Liang, Yiming Zeng +3cs.CV2026-10-28
#26Governance-Aware Federated Learning for Multi-Agent AI Systems: A Policy-Driven Framework for Trustworthy Collaborative AIKiranmayee Janardhan, Karthick S, Madhusmita Panda +2cs.AI2026-10-28
#27Agent Transfer Protocol: Server-Mediated Agent-to-Agent Communication Architecture for the Agentic WebYuqi Qiu, Zuyao Xu, Lu Sun +5cs.AI2026-10-28
#28Verification-Guided Retrosynthesis: Reaction Feedback and Evidence TimingHongxuan Shi, Hankz Hankui Zhuocs.AI2026-10-28
#29From Natural Language to Real Schematics: An Automated Workflow for Power Electronics Schematic SynthesisBowen Su, Huan Chen, Jiahua Ying +4cs.AI2026-10-28
#30Scaling Lean Theorem Proving for Real-World Code VerificationDebargha Ganguly, Divya Raghunathan, Dejan Jovanović +6cs.CL2026-10-28
#31From the Gettier Machine to Justified True Output: A Three-Step Account of Rational Trust in Generative AITevfik Uyarcs.CY2026-10-28
#32Nemotron 3.5 Super and Lightning: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Models for Agentic AINVIDIA, :, Aastha Jhunjhunwala +556cs.CL2026-10-28
#33Understanding Large Language Models as Numerical OptimizersLingyun Guo, Ali Bereyhics.AI2026-10-27
#34VerifiedLab: Harnessing Knowns for UnknownsYu Yao, Jiayi Dong, Yang Yang +2cs.AI2026-10-27
#35Verification Learning Theory: A Process Model of Checking and Retention in AI-Assisted JudgmentChristoph Trattnercs.AI2026-10-27
#36EnvSched: Environment-Aware Scheduling for Rollout-Efficient Agent Reinforcement LearningSihan Yang, Weichen Bai, Ruichuan An +9cs.LG2026-10-27
#37From Interaction to Capability: Task Advancement as State and Supervision for GUI AgentsZiyang Chen, Qian Li, Chengwei Qincs.AI2026-10-27
#38PerceptRL: Making Visual Perception Rewardable in MLLMs from Answers to InteractionsTongkun Guan, Zhibo Yang, Mingkun Yang +3cs.CV2026-10-27
#39Uncovering Why LLMs Fail: From Internal Mechanisms to Adversarial Reasoning TrajectoriesZirui Ding, Xinxin Fan, Hao Yuan +3cs.AI2026-10-27
#40Scale-aware and spatially-localised optimisation of kilometre-scale MLWP modelsJames Chappell, Sophie Luise Arana, Jack Bowyer +13physics.ao-ph2026-10-27
#41AnalogScout: Simulation-Efficient PVT-Aware Analog Sizing with LLM AgentsYichen Long, Keren Zhucs.AR2026-10-27
#42HoloRecon: Incremental Reconstruction of Long-Range Panoramas with Global ConsistencyZhuoxiao Li, Xinyi Liu, Hongye Hou +8cs.CV2026-10-27
#43MVRCap: Towards Comprehensive Video Captioning via Hierarchical Multi-Dimensional Verifiable RewardsWeihuang Lin, Xianing Chen, Zhibin Wang +9cs.CV2026-10-27
#44OmniGlimpse: Asymmetric Identity Memory for Online Multi-View TrackingRangya Zhang, Jiaping Xiao, Yujing Shang +3cs.CV2026-10-27
#45CVBL-CCTV-Face Dataset for Real-World Face Enhancement and Recognition in SurveillanceManish Das, Ajay Kumar Yadav, Shiv Ram Dubey +1cs.CV2026-10-27
#46Can LLMs Reliably Grade Olympiad Proofs? A Study of Mathematical Verification with LLMsAzim Ospanov, Zijin Feng, Ding Ding +5cs.AI2026-10-27
#47Beyond the Evidence Coherence Trap: Agent-Driven Evidence Selection for Temporally Disordered Fake News DetectionChi Wang, Min Gao, Yifei Zhang +3cs.AI2026-10-27
#48DocSkill: Skill-Integrated Agentic Reasoning for Multilingual Multi-Hop Document Question AnsweringJing Huang, Zhiya Tan, Changtao Miao +5cs.CL2026-10-27
#49ADTGuard: Adaptive Depth-Time Safeguard for Streaming Inference in Large Language ModelsChuming Wei, Churui Yang, Zihan Zhang +4cs.AI2026-10-27
#50CASEL: Consequence-Aware Selective Execution for Reliable Long-Horizon Tool-Using AgentsYanyan Zhang, Fei Shen, Ting Yan +1cs.AI2026-10-27

all trends · matching is case-insensitive substring after tokenization