elohn/miniCodeProps
Updated • 78 • 2
Lean
-
-
ByteDance-Seed/BFS-Prover-V2-32B
Text Generation • 33B • Updated • 137 • 13 -
deepseek-ai/DeepSeek-Math-V2
Text Generation • 685B • Updated • 727 • 708 -
NousResearch/nomos-1
Text Generation • 31B • Updated • 348 • 157 -
lm-provers/QED-Nano
Text Generation • 4B • Updated • 538 • • 89 -
mistralai/Leanstral-2603
Updated • 113 • 168 -
OpenConjecture/openconjecture
Viewer • Updated • 31.2k • 152 • 11 -
Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 52 • 11 -
Simplified-Reasoning/SU-01
Text Generation • 31B • Updated • 186 • 28 -
Pythagoras-LM/Pythagoras-Prover-4B
Text Generation • 4B • Updated • 1.35k • • 8 -
mistralai/Leanstral-1.5-119B-A6B
Updated • 298 • 219 -
paradigma-inc/limite-1b-violetto
Text Generation • 1B • Updated • 2.6k • 75