An extensible equality checking algorithm for dependent type theories.
Andrej BauerAnja Petkovic KomelPublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- cost function
- learning algorithm
- computational complexity
- computationally efficient
- neural network
- detection algorithm
- dynamic programming
- data sets
- search space
- artificial neural networks
- optimal solution
- np hard
- objective function
- improved algorithm
- probabilistic model
- memory requirements
- times faster
- decision trees
- segmentation algorithm
- optimization algorithm
- mathematical model
- selection algorithm
- tree structure
- verification method
- clustering method
- particle swarm optimization
- logic programs
- high accuracy
- worst case
- computational cost
- k means