Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up

cat-searcher
/

reprover-joint-ckpt

Model card Files Files and versions Community

reprover-joint-ckpt

1 contributor

History: 7 commits

cat-searcher's picture

final ckpt

d23dfc3 8 months ago

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

1.52 kB

initial commit 8 months ago