(Symbolic Math) Reimplementation of Deep Learning for Symbolic Mathematics

A reimplementation of Lample & Charton (2019) Deep Learning for Symbolic Mathematics

Codebase guide

backward_generation.ipynb - generate trees, generate target using sympy, simplify, make sequence (input & target)

Can also run

$ python generate_dataset.py --cpu 12 --num 10000 --n 8

Name		Name	Last commit message	Last commit date
Latest commit History 144 Commits
checkpoints/train		checkpoints/train
data/cleaned_data		data/cleaned_data
figures		figures
logs/gradient_tape		logs/gradient_tape
tokenizer		tokenizer
README.md		README.md
X_tokenizer.pickle		X_tokenizer.pickle
Y_tokenizer.pickle		Y_tokenizer.pickle
adam-notes.md		adam-notes.md
backward.py		backward.py
backward_generation.ipynb		backward_generation.ipynb
cloud_setup.sh		cloud_setup.sh
create_dataset.ipynb		create_dataset.ipynb
figures.ipynb		figures.ipynb
generate_dataset.py		generate_dataset.py
infix_prefix.py		infix_prefix.py
paper.pdf		paper.pdf
random_trees.py		random_trees.py
requirements.txt		requirements.txt
seq2seq_model.ipynb		seq2seq_model.ipynb
transformer.ipynb		transformer.ipynb
transformer_official.ipynb		transformer_official.ipynb