cat-searcher/qwen-2.5-7B-1M-code-r1-epoch-1-step-64
8B
•
Updated
•
5
Cat PRO
cat-searcher
AI & ML interests
deep learning
Organizations
models
10
cat-searcher/qwen-2.5-7b-instruct-sft
Text Generation
•
8B
•
Updated
•
5
cat-searcher/zephyr-7b-gemma-sft
Updated
cat-searcher/Qwen2-0.5B-SFT
Updated
cat-searcher/gemma-1.1-2b-it-sppo-iter0-evol-mixed
Text Generation
•
3B
•
Updated
•
4
cat-searcher/rir-pl-ckpts
Updated
cat-searcher/reprover-joint-ckpt
Updated
cat-searcher/reprover-goal-ckpt
Updated
cat-searcher/reprover-goal-driven-tactic-ckpt
Updated
cat-searcher/reprover-models
Updated
datasets
8
cat-searcher/owl-sft-dataset
Viewer
•
Updated
•
95
•
3
cat-searcher/owl-sft-test
Viewer
•
Updated
•
95
•
2
cat-searcher/math-sft-dataset
Viewer
•
Updated
•
626
•
3
cat-searcher/code-rl-dataset
Viewer
•
Updated
•
25.8k
•
16
cat-searcher/code
Viewer
•
Updated
•
26.3k
•
4
cat-searcher/leandojo-benchmark-4-random-sft
Viewer
•
Updated
•
260k
•
20
cat-searcher/leandojo-benchmark-4-random
Viewer
•
Updated
•
260k
•
64
cat-searcher/minif2f-lean4
Viewer
•
Updated
•
488
•
128
•
7