Models
Datasets
Spaces
Docs
Enterprise
Pricing
Log In
Sign Up

kaiyuy
/

NLProofS

Model card Files Files and versions

NLProofS / verifier /ruletaker

4.29 GB

2 contributors

History: 1 commit

kaiyuy's picture

Upload 9 files

b3a6b8d over 2 years ago

config.yaml

2.03 kB

Upload 9 files over 2 years ago
epoch=49-step=93000.ckpt

4.26 GB
xet

Upload 9 files over 2 years ago
log.txt

29.2 MB
xet

Upload 9 files over 2 years ago