Cover Image

Probabilistic Runtime Verification, Evaluation and Risk Assessment of Visual Deep Learning Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Torpmann-Hagen, Birk, Halvorsen, Pål, Riegler, Michael A., Johansen, Dag
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

Defending against Stegomalware in Deep Neural Networks with Permutation Symmetry
by: Torpmann-Hagen, Birk, et al.
Published: (2025)

Pairwise matrices for sparse autoencoders: single-feature inspection mislabels causal axes
by: Riegler, Michael A., et al.
Published: (2026)

Principal Components for Neural Network Initialization
by: Phan, Nhan, et al.
Published: (2025)

Explainability of Machine Learning Models under Missing Data
by: Vo, Tuan L., et al.
Published: (2024)

Position: AI Security Policy Should Target Systems, Not Models
by: Riegler, Michael A., et al.
Published: (2026)

Energy-Conscious LLM Decoding: Impact of Text Generation Strategies on GPU Energy Consumption
by: Nik, Alireza, et al.
Published: (2025)

When No Benchmark Exists: Validating Comparative LLM Safety Scoring Without Ground-Truth Labels
by: Gautam, Sushant, et al.
Published: (2026)

Probabilistic ML Verification via Weighted Model Integration
by: Morettin, Paolo, et al.
Published: (2024)

GPU-Accelerated Deep Learning for Heatwave Prediction and Urban Heat Risk Assessment
by: Alihodžić, Adis
Published: (2026)

Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architectures
by: Hersche, Michael, et al.
Published: (2024)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
by: Vin, Eric, et al.
Published: (2025)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
by: Boetius, David, et al.
Published: (2024)

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

DeepDFA: Automata Learning through Neural Probabilistic Relaxations
by: Umili, Elena, et al.
Published: (2024)

Sampling Matters: The Effect of ECG Frequency on Deep Learning-Based Atrial Fibrillation Detection
by: Mahmuod, Arjan, et al.
Published: (2026)

Adapting Probabilistic Risk Assessment for AI
by: Wisakanto, Anna Katariina, et al.
Published: (2025)

Kalman-Inspired Runtime Stability and Recovery in Hybrid Reasoning Systems
by: Or, Barak
Published: (2026)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
by: Marzari, Luca, et al.
Published: (2025)

Creativity of Deep Learning: Conceptualization and Assessment
by: Basalla, Marcus, et al.
Published: (2020)

Agents Learn Their Runtime: Interpreter Persistence as Training-Time Semantics
by: May, Victor, et al.
Published: (2026)

BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
by: Wang, Fangji, et al.
Published: (2025)

Reinfier and Reintrainer: Verification and Interpretation-Driven Safe Deep Reinforcement Learning Frameworks
by: Yang, Zixuan, et al.
Published: (2024)

Do What You Say: Steering Vision-Language-Action Models via Runtime Reasoning-Action Alignment Verification
by: Wu, Yilin, et al.
Published: (2025)

Probabilistic Graph Circuits: Deep Generative Models for Tractable Probabilistic Inference over Graphs
by: Papež, Milan, et al.
Published: (2025)

Hierarchical Reinforcement Learning with Runtime Safety Shielding for Power Grid Operation
by: Malik, Gitesh
Published: (2026)

Imputation using training labels and classification via label imputation
by: Nguyen, Thu, et al.
Published: (2023)

Model-Based Runtime Monitoring with Interactive Imitation Learning
by: Liu, Huihan, et al.
Published: (2023)

Neural Control and Certificate Repair via Runtime Monitoring
by: Yu, Emily, et al.
Published: (2024)

A Knowledge-Informed Large Language Model Framework for U.S. Nuclear Power Plant Shutdown Initiating Event Classification for Probabilistic Risk Assessment
by: Xian, Min, et al.
Published: (2024)

HEDGE: Hallucination Estimation via Dense Geometric Entropy for VQA with Vision-Language Models
by: Gautam, Sushant, et al.
Published: (2025)

Point, Detect, Count: Multi-Task Medical Image Understanding with Instruction-Tuned Vision-Language Models
by: Gautam, Sushant, et al.
Published: (2025)

Comparative Analysis of Audio Feature Extraction for Real-Time Talking Portrait Synthesis
by: Salehi, Pegah, et al.
Published: (2024)

RAP: Runtime Adaptive Pruning for LLM Inference
by: Liu, Huanrong, et al.
Published: (2025)

Soft Learning Probabilistic Circuits
by: Ghandi, Soroush, et al.
Published: (2024)

DeepCDCL: An CDCL-based Neural Network Verification Framework
by: Liu, Zongxin, et al.
Published: (2024)

Learning Contextual Runtime Monitors for Safe AI-Based Autonomy
by: Luque-Cerpa, Alejandro, et al.
Published: (2026)

Probabilistic Modeling of Latent Agentic Substructures in Deep Neural Networks
by: Lee, Su Hyeong, et al.
Published: (2025)

Toward Reproducible Cross-Backend Compatibility for Deep Learning: A Configuration-First Framework with Three-Tier Verification
by: Li, Zehua
Published: (2025)

Evaluating Self-Supervised Learning via Risk Decomposition
by: Dubois, Yann, et al.
Published: (2023)

Evaluating the Dynamics of Membership Privacy in Deep Learning
by: Chen, Yuetian, et al.
Published: (2025)