/differentiable-proving

Code and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501

Primary LanguagePythonMIT LicenseMIT

Watchers