Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
5
43
Cat
PRO
cat-searcher
Follow
kcc's profile picture
1 follower
·
1 following
ziyu-deep
AI & ML interests
deep learning
Recent Activity
updated
a dataset
about 16 hours ago
cat-searcher/math-sft-dataset
liked
a dataset
about 17 hours ago
open-r1/codeforces-cots
liked
a model
about 18 hours ago
google/gemma-3-1b-it
View all activity
Organizations
None yet
models
6
Sort: Recently updated
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
Sort: Recently updated
cat-searcher/math-sft-dataset
Viewer
•
Updated
about 16 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