conftrace_

mathematical identity discovery

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic mathematics (1) neural network (1) symbolic expression (1) n-gram model (1) search algorithm (1) tree search (1) mathematical optimization (1) recursive neural network (1) attribute grammar (1) symbolic computation (1)

Papers

Learning to Discover Efficient Mathematical Identities NeurIPS 2014