Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification

Subjects: “…Computer Science & IT…”
Get full text

EPINN: Enhanced Physics-Informed Neural Network for Solving Continuous Integral Equations

Subjects: “…Computer Science & IT…”
Get full text

Monitoring Teams of AI Agents

Subjects: “…Computer Science & IT…”
Get full text

Scaling Safe Policy Improvement: Monte Carlo Tree Search and Policy Iteration Strategies

Subjects: “…Computer Science & IT…”
Get full text

Combining Constraint Programming and Machine Learning: From Current Progress to Future Opportunities

Subjects: “…Computer Science & IT…”
Get full text

Detecting Generative Model Inversion Attacks for Protecting Intellectual Property of Deep Neural Networks

Subjects: “…Computer Science & IT…”
Get full text

Finding Minimal Plan Reductions Using Classical Planning

Subjects: “…Computer Science & IT…”
Get full text

Regret Analysis for Randomized Gaussian Process Upper Confidence Bound

Subjects: “…Computer Science & IT…”
Get full text

Towards an Ontology-Driven Approach to Document Bias

Subjects: “…Computer Science & IT…”
Get full text

Prioritised Planning: Completeness, Optimality, and Complexity

Subjects: “…Computer Science & IT…”
Get full text

Towards Understanding Gradient Flow Dynamics of Homogeneous Neural Networks Beyond the Origin

Subjects: “…Computer Science & IT…”
Get full text

Optimal Complexity in Byzantine-Robust Distributed Stochastic Optimization with Data Heterogeneity

Subjects: “…Computer Science & IT…”
Get full text

Towards Unified Native Spaces in Kernel Methods

Subjects: “…Computer Science & IT…”
Get full text

TorchCP: A Python Library for Conformal Prediction

Subjects: “…Computer Science & IT…”
Get full text

Hopfield-Fenchel-Young Networks: A Unified Framework for Associative Memory Retrieval

Subjects: “…Computer Science & IT…”
Get full text

Identifiability of Causal Graphs under Non-Additive Conditionally Parametric Causal Models

Subjects: “…Computer Science & IT…”
Get full text

Fundamental Limits of Membership Inference Attacks on Machine Learning Models

Subjects: “…Computer Science & IT…”
Get full text

On the Robustness of Kernel Goodness-of-Fit Tests

Subjects: “…Computer Science & IT…”
Get full text

Efficient Online Prediction for High-Dimensional Time Series via Joint Tensor Tucker Decomposition

Subjects: “…Computer Science & IT…”
Get full text

Collaborative likelihood-ratio estimation over graphs

Subjects: “…Computer Science & IT…”
Get full text