Boosting k-Induction with Continuously-Refined Invariants.
Dirk BeyerMatthias DanglPhilipp WendlerPublished in: CAV (1) (2015)
Keyphrases
- sequence prediction
- machine learning
- real time
- learning algorithm
- weak learners
- base classifiers
- combining multiple
- feature selection
- inductive learning
- affine moment invariants
- gradient boosting
- ensemble learning
- cost sensitive
- data sets
- invariant features
- weak classifiers
- adaboost algorithm
- constructive induction
- program synthesis
- incoming data
- inductive logic programming
- neural network
- projective invariants
- functional programs