jvelja
/

prover_mini_round_0_step-20

Model card Files Files and versions

prover_mini_round_0_step-20

Commit History

Checkpoint: checkpoint-step-20-round-0

63308d0
verified

jvelja commited on Jul 9, 2025

initial commit

6ffc20d
verified

jvelja commited on Jul 9, 2025