Extending Nunchaku to Dependent Type Theory.

Simon Cruanes Jasmin Christian Blanchette

Published in: HaTT@IJCAR (2016)

Keyphrases

theoretical framework
theoretical basis
formal theory
data sets
neural network
learning algorithm
artificial intelligence
image processing
video sequences
multi agent systems
trade off
user interface