Cover Image

Relational DNN Verification With Cross Executional Bound Refinement

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Banerjee, Debangshu, Singh, Gagandeep
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data Shifts Hurt CoT: A Theoretical Study
by: Yin, Lang, et al.
Published: (2025)

Support is All You Need for Certified VAE Training
by: Xu, Changming, et al.
Published: (2025)

CRANE: Reasoning with constrained LLM generation
by: Banerjee, Debangshu, et al.
Published: (2025)

DINGO: Constrained Inference for Diffusion LLMs
by: Suresh, Tarun, et al.
Published: (2025)

Incremental Randomized Smoothing Certification
by: Ugare, Shubham, et al.
Published: (2023)

Towards Reliable Alignment: Uncertainty-aware RLHF
by: Banerjee, Debangshu, et al.
Published: (2024)

Bad Values but Good Behavior: Learning Highly Misspecified Bandits and MDPs
by: Banerjee, Debangshu, et al.
Published: (2023)

SEVerA: Verified Synthesis of Self-Evolving Agents
by: Banerjee, Debangshu, et al.
Published: (2026)

Cross-Input Certified Training for Universal Perturbations
by: Xu, Changming, et al.
Published: (2024)

Why DPO is a Misspecified Estimator and How to Fix It
by: Gopalan, Aditya, et al.
Published: (2025)

Towards Reliable, Uncertainty-Aware Alignment
by: Banerjee, Debangshu, et al.
Published: (2025)

Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation
by: Gomber, Shaurya, et al.
Published: (2025)

Compression Aware Certified Training
by: Xu, Changming, et al.
Published: (2025)

Harnessing Neuron Stability to Improve DNN Verification
by: Duong, Hai, et al.
Published: (2024)

Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
by: Zhi, Dapeng, et al.
Published: (2024)

Automated Verification of Soundness of DNN Certifiers
by: Singh, Avaljot, et al.
Published: (2025)

RAMP: Boosting Adversarial Robustness Against Multiple $l_p$ Perturbations for Universal Robustness
by: Jiang, Enyi, et al.
Published: (2024)

A Bayesian Approach for Discovering Time- Delayed Differential Equation from Data
by: Chowdhury, Debangshu, et al.
Published: (2025)

BEAVER: An Efficient Deterministic LLM Verifier
by: Suresh, Tarun, et al.
Published: (2025)

Cost-Driven Synthesis of Sound Abstract Interpreters
by: Gu, Qiuhan, et al.
Published: (2025)

Robust Thompson Sampling Algorithms Against Reward Poisoning Attacks
by: Xu, Yinglun, et al.
Published: (2024)

Ownership Verification of DNN Models Using White-Box Adversarial Attacks with Specified Probability Manipulation
by: Sano, Teruki, et al.
Published: (2025)

Towards Generalized Certified Robustness with Multi-Norm Training
by: Jiang, Enyi, et al.
Published: (2024)

Probabilistic Trust Intervals for Out of Distribution Detection
by: Singh, Gagandeep, et al.
Published: (2021)

Binary Reward Labeling: Bridging Offline Preference and Reward-Based Reinforcement Learning
by: Xu, Yinglun, et al.
Published: (2024)

Ecomap: Sustainability-Driven Optimization of Multi-Tenant DNN Execution on Edge Servers
by: Paramanayakam, Varatheepan, et al.
Published: (2025)

Refined PAC-Bayes Bounds for Offline Bandits
by: Gouverneur, Amaury, et al.
Published: (2025)

Universal Black-Box Reward Poisoning Attack against Offline Reinforcement Learning
by: Xu, Yinglun, et al.
Published: (2024)

RubricRefine: Improving Tool-Use Agent Reliability with Training-Free Pre-Execution Refinement
by: LeVine, Will, et al.
Published: (2026)

SmartMem: Layout Transformation Elimination and Adaptation for Efficient DNN Execution on Mobile
by: Niu, Wei, et al.
Published: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

Is The Watermarking Of LLM-Generated Code Robust?
by: Suresh, Tarun, et al.
Published: (2024)

Learning a Pessimistic Reward Model in RLHF
by: Xu, Yinglun, et al.
Published: (2025)

MARK: Memory Augmented Refinement of Knowledge
by: Ganguli, Anish, et al.
Published: (2025)

Certifying Knowledge Comprehension in LLMs
by: Chaudhary, Isha, et al.
Published: (2024)

Tightening the Evaluation of PAC Bounds Using Formal Verification Results
by: Walker, Thomas, et al.
Published: (2024)

TBNet: A Neural Architectural Defense Framework Facilitating DNN Model Protection in Trusted Execution Environments
by: Liu, Ziyu, et al.
Published: (2024)

FactReview: Evidence-Grounded Peer Review with Execution-Based Claim Verification
by: Yue, Ling, et al.
Published: (2026)

Energy-Aware DNN Graph Optimization
by: Wang, Yu, et al.
Published: (2020)

Enlightenment Period Improving DNN Performance
by: Liu, Tiantian, et al.
Published: (2025)