Model: richardyoung/bfs-prover-v2-32b
Author: richardyoung
Pipeline: text-generation
Library: llama.cpp
Tags: llama.cpp, gguf, quantized, ollama, llama-cpp, qwen2.5, formal-verification, theorem-proving, lean4, mathematics, proof-generation, text-generation, en, base_model:ByteDance-Seed/BFS-Prover-V2-32B, base_model:quantized:ByteDance-Seed/BFS-Prover-V2-32B, license:apache-2.0, endpoints_compatible, region:us
Base models (quantized): id: ByteDance-Seed/BFS-Prover-V2-32B
Card metadata: license: apache-2.0
base_model: ByteDance-Seed/BFS-Prover-V2-32B
pipeline_tag: text-generation
library_name: llama.cpp
language: en
tags: gguf, quantized, ollama, llama-cpp, qwen2.5, formal-verification, theorem-proving, lean4, mathematics, proof-generation
quantized_by: richardyoung
Likes: 0 | All-time downloads: 209
Created: 2025-10-26 22:26:04