A Coq formalization of normalization by evaluation for Martin-Löf type theory.
Pawel WieczorekDariusz BiernackiPublished in: CPP (2018)
Keyphrases
- evaluation method
- neural network
- formal methods
- evaluation model
- formal model
- theoretical framework
- knowledge representation
- preprocessing
- learning algorithm
- data structure
- multi agent
- decision making
- artificial intelligence
- theorem prover
- gold standard
- evaluation methods
- theoretical basis
- machine learning
- databases
- evaluation process