An extensible equality checking algorithm for dependent type theories.
Andrej BauerAnja PetkovicPublished in: CoRR (2021)
Keyphrases
- preprocessing
- experimental evaluation
- dynamic programming
- learning algorithm
- improved algorithm
- theoretical analysis
- detection algorithm
- np hard
- high accuracy
- objective function
- estimation algorithm
- optimization algorithm
- expectation maximization
- cost function
- significant improvement
- k means
- computational complexity
- computational cost
- computationally efficient
- experimental study
- classification algorithm
- path planning
- search space