Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units.
Ankur Arjun MaliAlexander G. Ororbia IIDaniel KiferC. Lee GilesPublished in: AAAI (2021)
Keyphrases
- mathematical modeling
- network architecture
- neural network
- mathematical model
- model checking
- neural model
- numerical solution
- bio inspired
- differential equations
- automatic recognition
- neural fuzzy
- linear equations
- mathematical knowledge
- neural computation
- mathematical expressions
- neural information processing
- algebraic equations
- hebbian learning
- nonlinear equations
- biologically plausible
- mathematical theory
- associative memory