Model: FrenzyMath/REAL-Prover
Author: FrenzyMath
Pipeline: text-generation
Library: transformers
Tags: transformers, safetensors, qwen2, text-generation, lean4, theorem-proving, formal-mathematics, retrieval-augmented, mathematical-reasoning, conversational, en, dataset:your-org/expr_2000, arxiv:2505.20613, base_model:Qwen/Qwen2.5-Math-7B, base_model:finetune:Qwen/Qwen2.5-Math-7B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base models (finetune): id: Qwen/Qwen2.5-Math-7B
Card metadata: license: apache-2.0
datasets: your-org/expr_2000
language: en
base_model: Qwen/Qwen2.5-Math-7B
pipeline_tag: text-generation
library_name: transformers
tags: lean4, theorem-proving, formal-mathematics, retrieval-augmented, mathematical-reasoning
Likes: 0 | All-time downloads: 20393
Created: 2025-07-05 16:24:03