cnfusion/DeepSeek-Prover-V2-7B-mlx-fp16
7B • Updated • 16
Edit Models filters
Apps
Inference Providers
Models
7
Active filters: deepseek-ai/DeepSeek-Prover-V2-7B
sreyasreevenkataraman/nayareport.ai
Question Answering • Updated
OpenBuddy/openbuddy-deepseekprover-7b-v26-preview
Text Generation • 7B • Updated • 3
mlx-community/DeepSeek-Prover-V2-7B-bf16
Text Generation • 7B • Updated • 19 • 2
RickyDeSkywalker/GAR_DeepSeek-Prover-V2
Text Generation • 2B • Updated • 2
formalmathatepfl/deepseek-prover-v2-cpt
Text Generation • 7B • Updated • 383
formalmathatepfl/deepseek-prover-v2-cpt-sft-feedback-1e
Text Generation • 7B • Updated • 2.57k