Dialectica models of type theory.

Sean K. Moss Tamara von Glehn

Published in: CoRR (2021)

Keyphrases

probabilistic model
experimental data
data mining
statistical models
computational models
machine learning
artificial intelligence
feature selection
decision making
prior knowledge
model selection
complex systems
mathematical framework
formal models
accurate models
theoretical models