Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL.
Maximilian P. L. HaslbeckPeter LammichPublished in: ITP (2019)
Keyphrases
- theorem prover
- worst case
- higher order
- knowledge based neural networks
- classification algorithm
- theoretical analysis
- computationally efficient
- computational complexity
- data structure
- image processing
- learning algorithm
- neural network
- knowledge base
- data sets
- search engine
- artificial intelligence
- machine learning algorithms
- benchmark datasets
- orders of magnitude
- times faster
- combinatorial optimization
- real world
- refinement process