cat-searcher
/

reprover-goal-driven-tactic-ckpt

Model card Files Files and versions Community

reprover-goal-driven-tactic-ckpt

Commit History

initial commit

dc77374
verified

cat-searcher commited on May 21