Cover Image

BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Das, Sarthak
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

UR4NNV: Neural Network Verification, Under-approximation Reachability Works!
by: Liang, Zhen, et al.
Published: (2024)

From Black-Box to White-Box: Control-Theoretic Neural Network Interpretability
by: Moon, Jihoon
Published: (2025)

SEBA: Sample-Efficient Black-Box Attacks on Visual Reinforcement Learning
by: Huang, Tairan, et al.
Published: (2025)

Benchmarking Instance-Centric Counterfactual Algorithms for XAI: From White Box to Black Box
by: Moreira, Catarina, et al.
Published: (2022)

Self-Improving Safety Performance of Reinforcement Learning Based Driving with Black-Box Verification Algorithms
by: Dagdanov, Resul, et al.
Published: (2022)

Turning Black Box into White Box: Dataset Distillation Leaks
by: Chen, Huajie, et al.
Published: (2026)

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

Sharpness-Aware Black-Box Optimization
by: Ye, Feiyang, et al.
Published: (2024)

FreeMark: A Non-Invasive White-Box Watermarking for Deep Neural Networks
by: Chen, Yuzhang, et al.
Published: (2024)

TIMEGATE: Sustainable Time-Boxed Promotion Gates for Continual ML Adaptation Under Resource Constraints
by: Chakraborty, Abhijit, et al.
Published: (2026)

In-Context Black-Box Optimization with Unreliable Feedback
by: Blumer, Nicolas Samuel, et al.
Published: (2026)

AdaBox: Adaptive Density-Based Box Clustering with Parameter Generalization
by: Elmahdi, Ahmed
Published: (2026)

Counter-Samples: A Stateless Strategy to Neutralize Black Box Adversarial Attacks
by: Bokobza, Roey, et al.
Published: (2024)

OptunaHub: A Platform for Black-Box Optimization
by: Ozaki, Yoshihiko, et al.
Published: (2025)

Robust Guided Diffusion for Offline Black-Box Optimization
by: Chen, Can Sam, et al.
Published: (2024)

Semantic Prototypes: Enhancing Transparency Without Black Boxes
by: Menis-Mastromichalakis, Orfeas, et al.
Published: (2024)

Neural Network Verification with PyRAT
by: Lemesle, Augustin, et al.
Published: (2024)

Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals
by: Delecki, Harrison, et al.
Published: (2024)

Knowledgeable Language Models as Black-Box Optimizers for Personalized Medicine
by: Yao, Michael S., et al.
Published: (2025)

LiBOG: Lifelong Learning for Black-Box Optimizer Generation
by: Pei, Jiyuan, et al.
Published: (2025)

Trust Regions for Explanations via Black-Box Probabilistic Certification
by: Dhurandhar, Amit, et al.
Published: (2024)

Explaining the Behavior of Black-Box Prediction Algorithms with Causal Learning
by: Sani, Numair, et al.
Published: (2020)

Jailbreaking Black Box Large Language Models in Twenty Queries
by: Chao, Patrick, et al.
Published: (2023)

Game-theoretic Counterfactual Explanation for Graph Neural Networks
by: Chhablani, Chirag, et al.
Published: (2024)

Uncertainty Quantification for Language Models: A Suite of Black-Box, White-Box, LLM Judge, and Ensemble Scorers
by: Bouchard, Dylan, et al.
Published: (2025)

COPYCOP: Ownership Verification for Graph Neural Networks
by: Nandakumar, Rahul, et al.
Published: (2026)

Black-Box Reliability Certification for AI Agents via Self-Consistency Sampling and Conformal Calibration
by: Mouzouni, Charafeddine
Published: (2026)

MetaBox-v2: A Unified Benchmark Platform for Meta-Black-Box Optimization
by: Ma, Zeyuan, et al.
Published: (2025)

Neural Global Optimization via Iterative Refinement from Noisy Samples
by: Muzaffar, Qusay, et al.
Published: (2026)

BoxingGym: Benchmarking Progress in Automated Experimental Design and Model Discovery
by: Gandhi, Kanishk, et al.
Published: (2025)

From Black Box to Insight: Explainable AI for Extreme Event Preparedness
by: Vu, Kiana, et al.
Published: (2025)

SemanticOpt: Towards LLM-Based Semantic Black-Box Optimization
by: Meindl, Jamison, et al.
Published: (2025)

Learning Surrogates for Offline Black-Box Optimization via Gradient Matching
by: Hoang, Minh, et al.
Published: (2025)

Multi-Objective Bayesian Optimization for Networked Black-Box Systems: A Path to Greener Profits and Smarter Designs
by: Kudva, Akshay, et al.
Published: (2025)

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
by: Bethell, Daniel, et al.
Published: (2024)

Bounding-Box Inference for Error-Aware Model-Based Reinforcement Learning
by: Talvitie, Erin J., et al.
Published: (2024)

Is Prior-Free Black-Box Non-Stationary Reinforcement Learning Feasible?
by: Gerogiannis, Argyrios, et al.
Published: (2024)

Surrogate-Based Black-Box Optimization Method for Costly Molecular Properties
by: Leguy, Jules, et al.
Published: (2021)

ExecTune: Effective Steering of Black-Box LLMs with Guide Models
by: Lingam, Vijay, et al.
Published: (2026)

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