Coming to Terms with Your Choices: An Existential Take on Dependent Types.

Georg Stefan Schmid Olivier Blanvillain Jad Hamza Viktor Kuncak

Published in: CoRR (2020)

Keyphrases

data sets
data mining
machine learning
computer vision
knowledge base
three dimensional
multi agent
search algorithm
feature space
trade off
probabilistic model
co occurrence
design decisions