A Why3 Framework for Reflection Proofs and Its Application to GMP's Algorithms.
Guillaume MelquiondRaphaël Rieu-HelftPublished in: IJCAR (2018)
Keyphrases
- learning algorithm
- theoretical analysis
- main contribution
- significant improvement
- computationally efficient
- orders of magnitude
- classification algorithm
- computational efficiency
- computationally expensive
- computational cost
- computational complexity
- genetic algorithm
- optimization problems
- times faster
- recently developed
- theorem proving
- complexity analysis
- fusion framework
- lightweight
- real time
- semi supervised
- probabilistic model
- data structure
- face recognition
- image processing
- neural network
- data sets