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
4dcdc07
REAL-Prover
15.3 GB
1 contributor
History:
5 commits
mmtke
Update README.md
4dcdc07
verified
7 months ago
._____temp
Upload new version of large model
7 months ago
.gitattributes
1.56 kB
Upload new version of large model
7 months ago
README.md
3.03 kB
Update README.md
7 months ago
added_tokens.json
605 Bytes
Upload new version of large model
7 months ago
all_results.json
221 Bytes
Upload new version of large model
7 months ago
config.json
788 Bytes
Upload new version of large model
7 months ago
configuration.json
36 Bytes
Upload new version of large model
7 months ago
generation_config.json
117 Bytes
Upload new version of large model
7 months ago
merges.txt
1.67 MB
Upload new version of large model
7 months ago
model-00001-of-00004.safetensors
4.88 GB
xet
Test Upload
7 months ago
model-00002-of-00004.safetensors
4.93 GB
xet
Upload new version of large model
7 months ago
model-00003-of-00004.safetensors
4.33 GB
xet
Upload new version of large model
7 months ago
model-00004-of-00004.safetensors
1.09 GB
xet
Upload new version of large model
7 months ago
model.safetensors.index.json
27.8 kB
Upload new version of large model
7 months ago
special_tokens_map.json
616 Bytes
Upload new version of large model
7 months ago
tokenizer.json
11.4 MB
xet
Upload new version of large model
7 months ago
tokenizer_config.json
7.35 kB
Upload new version of large model
7 months ago
train_results.json
221 Bytes
Upload new version of large model
7 months ago
trainer_log.jsonl
391 kB
Upload new version of large model
7 months ago
trainer_state.json
344 kB
Upload new version of large model
7 months ago
training_args.bin
7.29 kB
xet
Upload new version of large model
7 months ago
training_loss.png
46.4 kB
Upload new version of large model
7 months ago
vocab.json
2.78 MB
Upload new version of large model
7 months ago