Models

7
Goedel-LMWarm8B32K

Goedel-Code-Prover-8B

11
·
834
·
Mar 2026
uw-math-aiWarm8B32K

gAPRIL-wo-exp

1
·
56
·
Feb 2026
ByteDance-SeedWarm8B32K

BFS-Prover-V2-7B

7
·
473
·
Oct 2025
ByteDance-SeedWarm33B32K

BFS-Prover-V2-32B

13
·
261
·
Sep 2025
xiaolesuWarm8B32K

Qwen3-8B-Herald-SFT

1
·
71
·
Feb 2026
FrenzyMathWarm8B32K

REAL-Prover

0
·
14
·
Jul 2025
uw-math-aiWarm8B32K

gAPRIL-w-exp

2
·
8
·
Feb 2026