On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory.

Floris van Doorn

Published in: CoRR (2018)

Keyphrases

deductive reasoning
knowledge representation
machine learning
inductive learning
fixed point
computational model
multiresolution
theoretical framework
formal logic
domain knowledge
data sets
knowledge base
artificial intelligence
significantly higher
higher quality
inductive inference
real world