The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps.
Geoff SutcliffeStephan SchulzPublished in: IWIL@LPAR (2015)
Keyphrases
- probabilistic model
- statistical model
- experimental data
- prior knowledge
- modeling framework
- formal model
- computational models
- statistical models
- prediction model
- high level
- computational model
- parameter estimation
- classification models
- theorem prover
- parametric models
- mathematical model
- learning models
- hybrid model
- autoregressive
- analytical model
- multiple models