:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhi, Dapeng, Wang, Peixin, Liu, Si, Ong, Luke, Zhang, Min
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2404.01769
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Quantitative Verification of Omega-regular Properties in Probabilistic Programming
by: Wang, Peixin, et al.
Published: (2025)

Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems
by: Xue, Bai, et al.
Published: (2026)

Relational DNN Verification With Cross Executional Bound Refinement
by: Banerjee, Debangshu, et al.
Published: (2024)

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

Conformal Prediction Meets Long-tail Classification
by: Liu, Shuqi, et al.
Published: (2025)

Refined Barrier Conditions for Finite-Time Safety and Reach-Avoid Guarantees in Stochastic Systems
by: Xue, Bai, et al.
Published: (2025)

Quantitative Verification of Fairness in Tree Ensembles
by: Zhao, Zhenjiang, et al.
Published: (2025)

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

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

Image Hijacks: Adversarial Images can Control Generative Models at Runtime
by: Bailey, Luke, et al.
Published: (2023)

When More Experts Hurt: Underfitting in Multi-Expert Learning to Defer
by: Liu, Shuqi, et al.
Published: (2026)

Information-Theoretic Limits of Safety Verification for Self-Improving Systems
by: Scrivens, Arsenios
Published: (2026)

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations
by: Zhang, Jun, et al.
Published: (2026)

Reinforcement Learning with $ω$-Regular Objectives and Constraints
by: Wagner, Dominik, et al.
Published: (2025)

Beyond Bayesian Model Averaging over Paths in Probabilistic Programs with Stochastic Support
by: Reichelt, Tim, et al.
Published: (2023)

SB-TRPO: Towards Safe Reinforcement Learning with Hard Constraints
by: Wagner, Dominik, et al.
Published: (2025)

FROC: A Unified Framework with Risk-Optimized Control for Machine Unlearning in LLMs
by: Goh, Si Qi, et al.
Published: (2025)

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

Comparative Analysis of Barrier-like Function Methods for Reach-Avoid Verification in Stochastic Discrete-Time Systems
by: Cao, Zhipeng, et al.
Published: (2025)

MLTCP: Congestion Control for DNN Training
by: Rajasekaran, Sudarsanan, et al.
Published: (2024)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
by: Flinkow, Thomas, et al.
Published: (2026)

Tighter Truncated Rectangular Prism Approximation for RNN Robustness Verification
by: Lin, Xingqi, et al.
Published: (2025)

Ensuring Safety in Automated Mechanical Ventilation through Offline Reinforcement Learning and Digital Twin Verification
by: Yu, Hang, et al.
Published: (2026)

PRUNE: A Patching Based Repair Framework for Certifiable Unlearning of Neural Networks
by: Li, Xuran, et al.
Published: (2025)

Rethinking the Potential of Layer Freezing for Efficient DNN Training
by: Yang, Chence, et al.
Published: (2025)

Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems
by: Xue, Bai, et al.
Published: (2026)

SaLoRA: Safety-Alignment Preserved Low-Rank Adaptation
by: Li, Mingjie, et al.
Published: (2025)

Runtime Stealthy Perception Attacks against DNN-based Adaptive Cruise Control Systems
by: Zhou, Xugui, et al.
Published: (2023)

Moment Alignment: Unifying Gradient and Hessian Matching for Domain Generalization
by: Chen, Yuen, et al.
Published: (2025)

MAx-DNN: Multi-Level Arithmetic Approximation for Energy-Efficient DNN Hardware Accelerators
by: Leon, Vasileios, et al.
Published: (2025)

Informal Safety Guarantees for Simulated Optimizers Through Extrapolation from Partial Simulations
by: Marks, Luke
Published: (2023)

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

Rounding-Guided Backdoor Injection in Deep Learning Model Quantization
by: Chen, Xiangxiang, et al.
Published: (2025)

Beyond Linear Steering: Unified Multi-Attribute Control for Language Models
by: Oozeer, Narmeen, et al.
Published: (2025)

Diagonalisation SGD: Fast & Convergent SGD for Non-Differentiable Models via Reparameterisation and Smoothing
by: Wagner, Dominik, et al.
Published: (2024)

Simultaneous Identification of Sparse Structures and Communities in Heterogeneous Graphical Models
by: Shi, Dapeng, et al.
Published: (2024)

DNN Modularization via Activation-Driven Training
by: Ngo, Tuan, et al.
Published: (2024)

Feather: An Elegant Solution to Effective DNN Sparsification
by: Georgoulakis, Athanasios Glentis, et al.
Published: (2023)

Safe Multi-Agent Deep Reinforcement Learning for Privacy-Aware Edge-Device Collaborative DNN Inference
by: Wang, Hong, et al.
Published: (2026)

Empirical Validation of the Classification-Verification Dichotomy for AI Safety Gates
by: Scrivens, Arsenios
Published: (2026)