Problem-guided Neural Math Problem Solvers.
Panlong YiGang LuXiaojun WuYumei ZhangPublished in: CNML (2023)
Keyphrases
- data sets
- network architecture
- neural network
- sat solvers
- artificial neural
- tutoring system
- bio inspired
- neural model
- neural fuzzy
- neural computation
- mathematical problem solving
- biologically plausible
- nonlinear predictive control
- fitted q iteration
- neural information processing
- global constraints
- biologically inspired
- constraint satisfaction
- artificial neural networks
- case study