Models

7
ByteDance-SeedWarmTools8B32K

BFS-Prover-V2-7B

7
·
606
·
Oct 2025
ByteDance-SeedWarmTools33B32K

BFS-Prover-V2-32B

13
·
224
·
Sep 2025
FrenzyMathWarmTools8B32K

REAL-Prover

0
·
12
·
Jul 2025
Goedel-LMColdTools8B32K

Goedel-Code-Prover-8B

11
·
224
·
Mar 2026
uw-math-aiColdTools8B32K

gAPRIL-wo-exp

1
·
24
·
Feb 2026
xiaolesuColdTools8B32K

Qwen3-8B-Herald-SFT

1
·
71
·
Feb 2026
uw-math-aiColdTools8B32K

gAPRIL-w-exp

2
·
8
·
Feb 2026