conftrace_

attribute grammar

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Learning to Discover Efficient Mathematical Identities NeurIPS 2014