Cat's picture

5 35

Cat PRO

cat-searcher

·

ziyu-deep

AI & ML interests

deep learning

Recent Activity

liked a model 7 days ago

AI-MO/NuminaMath-7B-CoT

Organizations

None yet

models 6

cat-searcher/gemma-1.1-2b-it-sppo-iter0-evol-mixed

Text Generation • Updated Jul 17 • 445

cat-searcher/rir-pl-ckpts

cat-searcher/reprover-joint-ckpt

cat-searcher/reprover-goal-ckpt

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

cat-searcher/reprover-models

datasets 3

cat-searcher/leandojo-benchmark-4-random-sft

Viewer • Updated Jul 30 • 260k • 34

cat-searcher/leandojo-benchmark-4-random

Viewer • Updated Jul 30 • 260k • 49

cat-searcher/minif2f-lean4

Viewer • Updated Mar 19 • 488 • 67 • 5