Cover Image

VeRAPAk: Distributed Counterexample Generation via Iterative Neural Network Verification and Falsification

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	DenBleyker, Bennett, Davis, Mason, Smith, Joshua, Swaminathan, Viswanathan, Zhang, Zhen
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PiVe: Prompting with Iterative Verification Improving Graph-based Generative Capability of LLMs
by: Han, Jiuzhou, et al.
Published: (2023)

Efficient Verification and Falsification of ReLU Neural Barrier Certificates
by: Ren, Dejin, et al.
Published: (2025)

Counterexample Guided Branching via Directional Relaxation Analysis in Complete Neural Network Verification
by: Li, Jingyang, et al.
Published: (2026)

HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification
by: Wayment, Jesse, et al.
Published: (2026)

FVA-RAG: Falsification-Verification Alignment for Mitigating Sycophantic Hallucinations
by: Ravishankara, Mayank
Published: (2025)

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration
by: Le, Tuan, et al.
Published: (2025)

CoVe: Training Interactive Tool-Use Agents via Constraint-Guided Verification
by: Chen, Jinpeng, et al.
Published: (2026)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

BEACON: A Bayesian Evolutionary Approach for Counterexample Generation of Control Systems
by: Yancosek, Joshua, et al.
Published: (2024)

Learning Neural Hybrid Surrogates for Gradient-Based Falsification
by: Kötz, Lasse, et al.
Published: (2026)

MAS-ProVe: Understanding the Process Verification of Multi-Agent Systems
by: Venkataramani, Vishal, et al.
Published: (2026)

The Counterexample Game: Iterated Conceptual Analysis and Repair in Language Models
by: Drucker, Daniel, et al.
Published: (2026)

VeLU: Variance-enhanced Learning Unit for Deep Neural Networks
by: Shakarami, Ashkan, et al.
Published: (2025)

Physics-Informed Neural Network Policy Iteration: Algorithms, Convergence, and Verification
by: Meng, Yiming, et al.
Published: (2024)

Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression
by: Kötz, Lasse, et al.
Published: (2026)

AIGS: Generating Science from AI-Powered Automated Falsification
by: Liu, Zijun, et al.
Published: (2024)

Multi-label Text Classification using GloVe and Neural Network Models
by: Wang, Hongren
Published: (2023)

The Dirac Point as Necessity Depth Collapse: Results of the Paper 49 Pre-Registration — A Clean Falsification and a Confirmed Null
by: Davis, Abby
Published: (2026)

VeriFlow: Modeling Distributions for Neural Network Verification
by: Zaid, Faried Abu, et al.
Published: (2024)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
by: Dutta, Souradeep, et al.
Published: (2023)

Minimal Filling Architectures of Polynomial Neural Networks: Counterexamples, Frontier Search, and Defects
by: Dao, Kevin, et al.
Published: (2026)

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
by: Li, Jingyang, et al.
Published: (2026)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
by: Kishida, Masako
Published: (2025)

Falsification of Autonomous Systems in Rich Environments
by: Elimelech, Khen, et al.
Published: (2024)

MeVe: A Modular System for Memory Verification and Effective Context Control in Language Models
by: Ottem, Andreas
Published: (2025)

Probabilistic Modeling of Spiking Neural Networks with Contract-Based Verification
by: Yao, Zhen, et al.
Published: (2025)

Validating Generalist Robots with Situation Calculus and STL Falsification
by: Li, Changwen, et al.
Published: (2026)

Iterative Generation and Generalized Degree Distribution of Higher-Order Fractal Scale-Free Networks
by: Qi, Lin, et al.
Published: (2025)

Neural Models of Task Adaptation: A Tutorial on Spiking Networks for Executive Control
by: Kannan, Ashwin Viswanathan, et al.
Published: (2025)

Textual-to-Visual Iterative Self-Verification for Slide Generation
by: Xu, Yunqing, et al.
Published: (2025)

Examples and Counterexamples
Published: (2021)

Falsification of Unconfoundedness by Testing Independence of Causal Mechanisms
by: Karlsson, Rickard K. A., et al.
Published: (2025)

Data-Driven Falsification of Cyber-Physical Systems
by: Kundu, Atanu, et al.
Published: (2025)

Automated Hypothesis Validation with Agentic Sequential Falsifications
by: Huang, Kexin, et al.
Published: (2025)

HighlightMe: Detecting Highlights from Human-Centric Videos
by: Bhattacharya, Uttaran, et al.
Published: (2021)

Show Me What I Like: Detecting User-Specific Video Highlights Using Content-Based Multi-Head Attention
by: Bhattacharya, Uttaran, et al.
Published: (2022)

VeCLIP: Improving CLIP Training via Visual-enriched Captions
by: Lai, Zhengfeng, et al.
Published: (2023)

Neural-Bridge: A Falsification Framework for Validating Semantic Grounding in Neuro-AI Foundation Models
by: Just, Manfred
Published: (2025)

SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
by: Sivaramakrishnan, Vignesh, et al.
Published: (2024)