BFS-Prover-V2-32B

Special purpose

Another Lean4 generation model.

Specs

Params32B

LicenseApache-2.0

Tags

modelsmodels/llmsmodels/llms/reasoningartifacts/15

Resources

Adoption · Interconnects

RAM score

—

Hugging Face Downloads

last 30d

2.2K

all time

HF Likes

Relative Adoption Metric contextualizes downloads against the model's size bucket.

VAIL Fingerprint

0036:0042:0062:0085:00d0:013a:05b1:5d65

Explore other models with behavioral similarity to BFS-Prover-V2-32B.

Related Models

More from ByteDance Seed