Models
Datasets
Spaces
Buckets new
Docs
Enterprise
Pricing
Log In
Sign Up

cat-searcher
/

reprover-joint-ckpt

Model card Files Files and versions

reprover-joint-ckpt

25.2 GB

Ctrl+K

Ctrl+K

1 contributor

History: 7 commits

cat-searcher's picture

final ckpt

d23dfc3 almost 2 years ago

checkpoint-epoch=01-step=7200-loss_val=0.1362-loss_train=0.1102.ckpt
First model version almost 2 years ago
checkpoint-epoch=02-step=15000-loss_val=0.1140-loss_train=0.0731.ckpt
from 4xa100 almost 2 years ago
reprover-goal-ckpt
this is train from reprover ckpt almost 2 years ago
reprover-goal-driven-tactic-ckpt
h100 almost 2 years ago
reprover-goal
final ckpt almost 2 years ago
.gitattributes

1.52 kB
initial commit almost 2 years ago