Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
FrenzyMath
/
REAL-Prover
like
0
Follow
FrenzyMath
22
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
ae49dc4
REAL-Prover
Commit History
Upload new version of large model
ae49dc4
verified
mmtke
commited on
Jul 11
Test Upload
b690617
mmtke
commited on
Jul 10
initial commit
1737183
verified
mmtke
commited on
Jul 5