Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
FrenzyMath
/
REAL-Prover
like
0
Follow
FrenzyMath
25
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
main
REAL-Prover
/
config.json
Commit History
Update config.json
fe76f68
verified
mmtke
commited on
Jul 17
Update config.json
525c33f
verified
mmtke
commited on
Jul 17
Upload new version of large model
ae49dc4
verified
mmtke
commited on
Jul 11
mmtke
commited on
