Cat's picture

5 43

Cat PRO

cat-searcher

·

ziyu-deep

AI & ML interests

deep learning

Recent Activity

updated a dataset about 15 hours ago

cat-searcher/math-sft-dataset

liked a dataset about 16 hours ago

open-r1/codeforces-cots

liked a model about 16 hours ago

google/gemma-3-1b-it

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 • 27

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 6

cat-searcher/math-sft-dataset

Viewer • Updated about 15 hours ago • 626 • 32

cat-searcher/code-rl-dataset

Viewer • Updated 4 days ago • 25.8k • 20

cat-searcher/code

Viewer • Updated 4 days ago • 26.3k • 122

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

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

cat-searcher/leandojo-benchmark-4-random

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

cat-searcher/minif2f-lean4

Viewer • Updated Mar 19, 2024 • 488 • 327 • 6