First Experiments with Neural Translation of Informal to Formal Mathematics.
Qingxiang WangCezary KaliszykJosef UrbanPublished in: CoRR (2018)
Keyphrases
- network architecture
- computer science
- neural network
- machine translation
- data mining
- formal and informal learning
- artificial neural
- query translation
- hebbian learning
- nonlinear predictive control
- real time
- computational neuroscience
- neural fuzzy
- mathematical theory
- informal learning
- formal methods
- formal specification
- associative memory
- case study
- artificial intelligence
- machine learning