Specifications and Proofs for Ensemble Layers.
Jason HickeyNancy A. LynchRobbert van RenessePublished in: TACAS (1999)
Keyphrases
- ensemble learning
- ensemble methods
- neural network
- specification language
- formal proofs
- learning algorithm
- random forest
- multi layer
- theorem proving
- formal specification
- base classifiers
- random forests
- control flow
- training data
- high level
- classifier ensemble
- multiple layers
- mathematical proofs
- delay insensitive
- akaike information criterion
- neural network ensemble
- natural deduction
- functional requirements
- theorem prover
- software engineering
- machine learning