softsys4ai / differentiable-proving Goto Github PK
View Code? Open in Web Editor NEWCode and data for the paper "Pretrained Language Models are Symbolic Mathematics Solvers too!", arXiv:2110.03501
Home Page: https://softsys4ai.github.io/differentiable-proving/
License: MIT License