conftrace_

symbolic mathematics

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

mathematical syntax (1) symbolic integration (1) mathematical identity discovery (1) neural network (1) symbolic expression (1) n-gram model (1) sequence-to-sequence model (1) search algorithm (1) differential equation (1) systematic generalization (1)

Papers

Symbolic Brittleness in Sequence Models: On Systematic Generalization in Symbolic Mathematics AAAI 2022 Deep Learning For Symbolic Mathematics ICLR 2020 Learning to Discover Efficient Mathematical Identities NeurIPS 2014