Login / Signup
Models That Prove Their Own Correctness.
Noga Amit
Shafi Goldwasser
Orr Paradise
Guy N. Rothblum
Published in:
CoRR (2024)
Keyphrases
</>
statistical models
real time
experimental data
classification models
random fields
three dimensional
hidden markov models
probabilistic model
language model
parameter estimation
complex systems
process model
neural network model
metamodel
modeling framework