Proof-of-Learning is Currently More Broken Than You Think.
Congyu FangHengrui JiaAnvith ThudiMohammad YaghiniChristopher A. Choquette-ChooNatalie DullerudVarun ChandrasekaranNicolas PapernotPublished in: EuroS&P (2023)
Keyphrases
- learning algorithm
- learning process
- learning tasks
- neural network
- multiscale
- learning systems
- hybrid learning
- databases
- explanation based learning
- inductive inference
- theorem prover
- learning community
- learning models
- learning problems
- unsupervised learning
- empirical studies
- prior knowledge
- mobile devices
- artificial neural networks