Automated Conversion of Axiomatic to Operational Models: Theory and Practice.
Adwait GodboleYatin A. ManerkarSanjit A. SeshiaPublished in: CoRR (2022)
Keyphrases
- parameter estimation
- computational models
- real world
- parametric models
- mathematical models
- fully automated
- theoretical developments
- data sets
- theoretical insights
- accurate models
- mathematical framework
- neural network model
- statistical models
- complex systems
- model selection
- artificial neural networks
- search engine
- learning algorithm