Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
FrenzyMath
/
REAL-Prover
like
0
Follow
FrenzyMath
28
Text Generation
Transformers
Safetensors
your-org/expr_2000
English
qwen2
lean4
theorem-proving
formal-mathematics
retrieval-augmented
mathematical-reasoning
conversational
text-generation-inference
arxiv:
2505.20613
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Deploy
Use this model
b690617
REAL-Prover
4.88 GB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
mmtke
Test Upload
b690617
10 months ago
.gitattributes
Safe
1.52 kB
initial commit
10 months ago
README.md
Safe
31 Bytes
initial commit
10 months ago
model-00001-of-00004.safetensors
4.88 GB
xet
Test Upload
10 months ago
