Login / Signup
Probabilistic Equivalence Verification Approach for Automatic Mathematical Solution Assessment.
Minh Luan Nguyen
Siu Cheung Hui
Alvis Cheuk M. Fong
Published in:
IJCAI (2013)
Keyphrases
</>
artificial intelligence
fully automatic
real world
probabilistic model
data driven
generative model
data sets
databases
case study
bayesian networks
optimal solution
belief networks
formal methods
mathematical expressions