GitHub repository: shihui2010/symbolic_simplifier
Primary language: Python
Description: PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge