Pex: Memory-efficient Microcontroller Deep Learning through Partial Execution.
Edgar LiberisNicholas D. LanePublished in: CoRR (2022)
Keyphrases
- memory efficient
- deep learning
- symbolic execution
- test data generation
- test generation
- unsupervised learning
- static analysis
- source code
- data flow
- unsupervised feature learning
- specification language
- machine learning
- deep architectures
- mental models
- weakly supervised
- learning strategies
- open source
- multiscale
- learning algorithm