Hugging Face's logo

cat-searcher
/
reprover-goal-driven-tactic-ckpt

Model card Files Community
reprover-goal-driven-tactic-ckpt
  • 1 contributor
 History: 1 commit
cat-searcher's picture
cat-searcher
initial commit
dc77374 verified