First Experiments with Neural Translation of Informal to Formal Mathematics.
Qingxiang WangCezary KaliszykJosef UrbanPublished in: CICM (2018)
Keyphrases
- network architecture
- neural network
- machine translation
- bio inspired
- artificial neural
- computer science
- formal specification
- formal and informal learning
- hebbian learning
- neural architecture
- formal models
- statistical machine translation
- formal methods
- learning rules
- query translation
- database
- cross language
- biologically inspired
- learning environment
- information systems
- data sets
- computer algebra
- real time