conftrace_

equation verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

higher-order synaptic (1) mathematical equation verification (1) multiplicative connection (1) equation completion (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