Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 47 • 12
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
111
Active filters: verification
mradermacher/Goedel-Code-Prover-8B-GGUF
8B • Updated • 642 • 1
nace-ai/navi-small-preview
Updated • 25 • 5
IAAR-Shanghai/xVerify-0.5B-I
Text Generation • 0.5B • Updated • 158 • • 11
mradermacher/xVerify-0.5B-I-GGUF
0.5B • Updated • 418
launch/ThinkPRM-14B
Text Generation • 15B • Updated • 50 • • 6
launch/ThinkPRM-1.5B
Text Generation • 2B • Updated • 781 • • 4
mradermacher/ThinkPRM-14B-GGUF
15B • Updated • 272
mradermacher/ThinkPRM-14B-i1-GGUF
15B • Updated • 593
mradermacher/ThinkPRM-1.5B-GGUF
2B • Updated • 300
launch/ThinkPRM-7B
Text Generation • 8B • Updated • 46 • 1
mradermacher/ThinkPRM-7B-GGUF
8B • Updated • 414
mradermacher/ThinkPRM-7B-i1-GGUF
8B • Updated • 963
hazyresearch/Weaver_Distilled_ModernBERT_Large_for_MMLU-Pro
Text Classification • Updated • 20 • 1
hazyresearch/Weaver_Distilled_ModernBERT_Large_for_MATH500
Text Classification • Updated • 12
hazyresearch/Weaver_Distilled_ModernBERT_Large_for_GPQA
Text Classification • Updated
hazyresearch/Weaver_Distilled_All_Datasets_gte-Qwen2-1.5B-instruct
Text Classification • Updated • 2
hazyresearch/Weaver_Distilled_All_Datasets_ModernBERT-large
Text Classification • Updated • 2
famasito/blockassist-famasito
Updated
pppop7/pppop7
Updated
syfcore/syf-minimal
Updated
techinmay/email-address-verification-software
Updated • 1
AbdulElahGwaith/google-verification
Updated
amihai4by/logic-v2
Image-to-Text • 8B • Updated
amihai4by/logic-reasoner-v2
Text Generation • 8B • Updated • 70 • 3
Oddsflowai-team/oddsflow-transparency
Other • Updated
achiepatricia/han-identity-continuity-verification-engine-v1
Updated
achiepatricia/han-autonomous-self-verification-model-v1
Updated
achiepatricia/han-transparent-decision-audit-model-v1
Updated
YellowLabsStudio/goodglinda-7b-verifier
Updated • 6