conftrace_

mathematical equation verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

multiplicative connection (1) equation completion (1) equation verification (1) higher-order synaptic (1) memory-augmented network (1) external memory (1) recursive neural network (1) mathematical reasoning (1)

Papers

Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units AAAI 2021