Model: chenyili818/BFS-Prover
Author: chenyili818
Pipeline: text-generation
Tags: safetensors, qwen2, lean4, step-prover, text-generation, conversational, arxiv:2509.06493, base_model:Qwen/Qwen2.5-Math-7B, base_model:finetune:Qwen/Qwen2.5-Math-7B, license:apache-2.0, region:us
Base models (finetune): id: Qwen/Qwen2.5-Math-7B
Card metadata: license: apache-2.0
base_model: Qwen/Qwen2.5-Math-7B
pipeline_tag: text-generation
tags: lean4, step-prover
Likes: 0 | All-time downloads: 5
Created: 2025-12-31 03:19:43