PAC-Based Formal Verification for Out-of-Distribution Data Detection.
Mohit PrashantArvind EaswaranPublished in: CoRR (2023)
Keyphrases
- data distribution
- data analysis
- data processing
- formal verification
- knowledge discovery
- probability distribution
- data sets
- data points
- data collection
- raw data
- xml documents
- database
- original data
- training data
- artificial intelligence
- input data
- detection method
- missing data
- data mining
- model checking
- noisy data
- data quality