elohn/miniCodeProps
Updated • 91 • 2
Lean
-
-
ByteDance-Seed/BFS-Prover-V2-32B
Text Generation • 33B • Updated • 272 • 13 -
deepseek-ai/DeepSeek-Math-V2
Text Generation • Updated • 539 • 694 -
NousResearch/nomos-1
Text Generation • Updated • 415 • 147 -
lm-provers/QED-Nano
Text Generation • 4B • Updated • 1.47k • • 87 -
mistralai/Leanstral-2603
Updated • 195 • 155 -
davisrbr/openconjecture
Preview • Updated • 207 • 8 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 1.15k • 10