AIbase
Biblioteca de produtosNavegação de ferramentas

differentiable-proving

Public

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

Hora de criação2021-04-07T12:55:07
Hora de atualização2023-10-24T16:14:01
https://softsys4ai.github.io/differentiable-proving/
12
Stars
0
Stars Increase