Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units
Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units
Automated mathematical reasoning is a challenging problem that requires an agent to learn algebraic patterns that contain long-range dependencies. Two particular tasks that test this type of reasoning are (1)mathematical equation verification,which requires determining whether trigonometric and linear algebraic statements are valid identities or not, and (2)equation completion, which entails …