3 results

proof-synthesis

inall models datasets apps agents people projects

Models

All models matching “proof-synthesis”

tomreichel /proof-synthesis-modeltransformers0 likes2y agoHugging Face

Datasets

All datasets matching “proof-synthesis”

JilinHu /Isabelle-proof-synthesis0 likes16 downloads1y agoHugging Face JilinHu /proof-synthesis-pretrainingtext10K<n<100K0 likes3 downloads1y agoHugging Face