Hugging Face model: richardyoung/bfs-prover-v2-32b
Author: richardyoung
Created: 2025-10-26 22:26:04
Last modified: 2025-11-26 03:01:35
Pipeline: text-generation
Library: llama.cpp
Likes: 0 | Downloads: 24
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 model relation: quantized
Base models: 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