Total runs:
1.2K
Run Growth:
737
Growth Rate:
60.41%
Sponsored by
ThumbnailCreator.com
formalmathatepfl / deepseek-prover-v2-feedback-grpo-2050
Model's Last Updated: June 03 2026
Runs of formalmathatepfl deepseek-prover-v2-feedback-grpo-2050 on huggingface.co
6
Total runs
0
24-hour runs
0
3-day runs
0
7-day runs
0
30-day runs
More Information About deepseek-prover-v2-feedback-grpo-2050 huggingface.co Model
Url of deepseek-prover-v2-feedback-grpo-2050
deepseek-prover-v2-feedback-grpo-2050 huggingface.co Url
Provider of deepseek-prover-v2-feedback-grpo-2050 huggingface.co
Other API from formalmathatepfl
Updated:September 23 2026
Total runs:
632
Run Growth:
-778
Growth Rate:
-123.10%
Total runs:
260
Run Growth:
260
Growth Rate:
100.00%
Total runs:
243
Run Growth:
-2.1K
Growth Rate:
-871.19%
Total runs:
170
Run Growth:
-208
Growth Rate:
-122.35%
Total runs:
125
Run Growth:
87
Growth Rate:
69.60%
Total runs:
98
Run Growth:
-221
Growth Rate:
-225.51%
Total runs:
89
Run Growth:
-921
Growth Rate:
-1034.83%
Total runs:
83
Run Growth:
-141
Growth Rate:
-169.88%
Total runs:
80
Run Growth:
19
Growth Rate:
23.75%
Total runs:
63
Run Growth:
-284
Growth Rate:
-450.79%
Total runs:
60
Run Growth:
-206
Growth Rate:
-343.33%
Total runs:
59
Run Growth:
28
Growth Rate:
47.46%
Total runs:
58
Run Growth:
-157
Growth Rate:
-270.69%
Total runs:
30
Run Growth:
11
Growth Rate:
36.67%
Total runs:
30
Run Growth:
-214
Growth Rate:
-713.33%
Total runs:
21
Run Growth:
-3
Growth Rate:
-14.29%
Total runs:
18
Run Growth:
18
Growth Rate:
100.00%
Total runs:
17
Run Growth:
17
Growth Rate:
100.00%
Total runs:
17
Run Growth:
17
Growth Rate:
100.00%
Total runs:
16
Run Growth:
-20
Growth Rate:
-125.00%
Total runs:
15
Run Growth:
-56
Growth Rate:
-373.33%
Total runs:
14
Run Growth:
-5
Growth Rate:
-35.71%
Total runs:
10
Run Growth:
10
Growth Rate:
100.00%
Total runs:
9
Run Growth:
-1
Growth Rate:
-11.11%
Total runs:
8
Run Growth:
4
Growth Rate:
50.00%
Total runs:
7
Run Growth:
1
Growth Rate:
14.29%
Total runs:
7
Run Growth:
1
Growth Rate:
14.29%
Total runs:
6
Run Growth:
0
Growth Rate:
0.00%
Total runs:
5
Run Growth:
-8
Growth Rate:
-160.00%
Total runs:
5
Run Growth:
-3
Growth Rate:
-60.00%
Total runs:
3
Run Growth:
-3
Growth Rate:
-100.00%
Total runs:
2
Run Growth:
-6
Growth Rate:
-300.00%
Total runs:
1
Run Growth:
-3
Growth Rate:
-300.00%
Total runs:
0
Run Growth:
0
Growth Rate:
0.00%
Total runs:
0
Run Growth:
0
Growth Rate:
0.00%
Total runs:
0
Run Growth:
0
Growth Rate:
0.00%
Total runs:
0
Run Growth:
0
Growth Rate:
0.00%
Total runs:
0
Run Growth:
0
Growth Rate:
0.00%
Total runs:
0
Run Growth:
0
Growth Rate:
0.00%
Total runs:
0
Run Growth:
0
Growth Rate:
0.00%
Total runs:
0
Run Growth:
0
Growth Rate:
0.00%