) in homotopy type theory.

Guillaume Brunerie

Published in: CoRR (2017)

Keyphrases

theoretical framework
machine learning
genetic algorithm
computational model
theoretical basis
real world
decision making
knowledge base
website
decision trees
computational complexity
fixed point
grounded theory
formal theory