PAC-Based Formal Verification for Out-of-Distribution Data Detection.
Mohit PrashantArvind EaswaranPublished in: ICSRS (2022)
Keyphrases
- data sets
- database
- data analysis
- data distribution
- data collection
- data sources
- probability distribution
- knowledge discovery
- image data
- formal verification
- raw data
- detection algorithm
- data processing
- data points
- training data
- multi class
- xml documents
- high dimensional
- artificial intelligence
- original data
- learning algorithm