AIbase
Product LibraryTool Navigation

differentiable-proving

Public

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

Creat2021-04-07T12:55:07
Update2023-10-24T16:14:01
https://softsys4ai.github.io/differentiable-proving/
12
Stars
0
Stars Increase