cat-searcher
/

reprover-goal-driven-tactic-ckpt

Model card Files Files and versions Community

reprover-goal-driven-tactic-ckpt

1 contributor

History: 1 commit

cat-searcher's picture

initial commit

dc77374 verified 7 months ago

.gitattributes

1.52 kB

initial commit 7 months ago