Skip to content
OPEN VARIABLE

Evidence-First Signal Intelligence

Menu

Research literature / Conference paper

Abstract Domains for Machine Learning Verification (Keynote)

Caterina Urban

Published
Publisher
ACM
Journal / collection
Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Research area
AI & compute
Source type
Conference paper
DOI
10.1145/3689609.3699919

Read the original source ↗

The original publisher provides the full text and its access options.

Cite this source

Caterina Urban. Abstract Domains for Machine Learning Verification (Keynote). Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains. 2024-10-17. https://doi.org/10.1145/3689609.3699919

Download RIS