Proof-Carrying Data From Arithmetized Random Oracles.
Megan ChenAlessandro ChiesaTom GurJack O'ConnorNicholas SpoonerPublished in: IACR Cryptol. ePrint Arch. (2023)
Keyphrases
- data sets
- data collection
- experimental data
- statistical analysis
- high quality
- data structure
- uniformly distributed
- data sources
- application domains
- image data
- training data
- real time
- big data
- raw data
- missing data
- data analysis
- data processing
- small number
- knowledge discovery
- active learning
- prior knowledge
- data mining techniques
- feature selection
- high dimensional data
- end users
- information systems
- data acquisition
- original data
- theorem prover
- xml documents