Effective Certification of Monotone Deep Equilibrium Models.

Mark Niklas Müller Robin Staab Marc Fischer Martin T. Vechev

Published in: CoRR (2021)

Keyphrases

accurate models
mathematical models
real time
hidden markov models
upper bound
statistical models
data sets
genetic algorithm
decision making
e learning
prior knowledge
statistical model
experimental data