Cat's picture

5 37

Cat PRO

cat-searcher

·

ziyu-deep

AI & ML interests

deep learning

Recent Activity

liked a model 21 days ago

google/codegemma-7b-it

liked a dataset 21 days ago

bigcode/the-stack-v2

liked a model about 2 months ago

AI-MO/NuminaMath-7B-CoT

View all activity

Organizations

None yet

models 6

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

Text Generation • Updated Jul 17, 2024 • 231

cat-searcher/rir-pl-ckpts

Updated May 31, 2024

cat-searcher/reprover-joint-ckpt

Updated May 23, 2024

cat-searcher/reprover-goal-ckpt

Updated May 21, 2024

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

Updated May 21, 2024

cat-searcher/reprover-models

Updated May 20, 2024

datasets 3

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

Viewer • Updated Jul 30, 2024 • 260k • 31

cat-searcher/leandojo-benchmark-4-random

Viewer • Updated Jul 30, 2024 • 260k • 32

cat-searcher/minif2f-lean4

Viewer • Updated Mar 19, 2024 • 488 • 126 • 5