Beta
Explore
Marketplace
Neural Labs
Chat
Wallet
Docs
BFS-Prover-V2-7B-mlx-mxfp4 – AI Model by khanh2023 | AlphaNeural AI
You can deploy this model and start earning money today!
khanh2023
/
BFS-Prover-V2-7B-mlx-mxfp4
like
0
mlx
safetensors
qwen2
lean4
step-prover
text-generation
conversational
ByteDance-Seed/BFS-Prover-V2-7B
quantized
apache-2.0
4-bit
us
Views
No views yet
Model card
Files and Versions
Community
API
Deploy
