Strict Rezk completions of models of HoTT and homotopy canonicity.

Rafaël Bocquet

Published in: CoRR (2023)

Keyphrases

probabilistic model
mathematical models
information systems
d objects
complex systems
statistical models
autoregressive
databases
machine learning
reinforcement learning
prior knowledge
model selection
parameter estimation
fixed point
accurate models