RickyDeSkywalker
/

GAR_Goedel-Prover-V2

Text Generation

text-generation-inference

Model card Files Files and versions

GAR_Goedel-Prover-V2

Commit History

Improve model card metadata and add paper link (#1)

e2912f9

RickyDeSkywalker

nielsr HF Staff commited on Mar 4

Create README.md

4994a43
verified

RickyDeSkywalker commited on Mar 1

Upload main_plot.png

4b160c3
verified

RickyDeSkywalker commited on Mar 1

Upload folder using huggingface_hub

e5a2ccd
verified

RickyDeSkywalker commited on Mar 1

initial commit

c1ff24d
verified

RickyDeSkywalker commited on Mar 1