Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.
Daniel NeiderShambwaditya SahaPranav GargP. MadhusudanPublished in: SAS (2019)
Keyphrases
- learning algorithm
- noise tolerant
- learning tasks
- orders of magnitude
- prior knowledge
- supervised learning
- learning process
- inductive inference
- learning models
- learning problems
- feature selection
- learning systems
- machine learning algorithms
- theoretical analysis
- computationally efficient
- significant improvement
- data structure
- computational complexity
- unsupervised learning
- online learning
- benchmark datasets
- worst case
- computational cost
- computer vision
- learning community
- neural network