Hugging Face model: FrenzyMath/REAL-Prover
Author: FrenzyMath
Created: 2025-07-05 16:24:03
Last modified: 2025-07-17 05:35:07
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 35
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 model relation: finetune
Base models: 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