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
ae49dc4
REAL-Prover
15.3 GB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
mmtke
Upload new version of large model
ae49dc4
verified
10 months ago
._____temp
Upload new version of large model
10 months ago
.gitattributes
Safe
1.56 kB
Upload new version of large model
10 months ago
README.md
Safe
31 Bytes
initial commit
10 months ago
added_tokens.json
Safe
605 Bytes
Upload new version of large model
10 months ago
all_results.json
221 Bytes
Upload new version of large model
10 months ago
config.json
788 Bytes
Upload new version of large model
10 months ago
configuration.json
Safe
36 Bytes
Upload new version of large model
10 months ago
generation_config.json
Safe
117 Bytes
Upload new version of large model
10 months ago
merges.txt
Safe
1.67 MB
Upload new version of large model
10 months ago
model-00001-of-00004.safetensors
4.88 GB
xet
Test Upload
10 months ago
model-00002-of-00004.safetensors
4.93 GB
xet
Upload new version of large model
10 months ago
model-00003-of-00004.safetensors
4.33 GB
xet
Upload new version of large model
10 months ago
model-00004-of-00004.safetensors
1.09 GB
xet
Upload new version of large model
10 months ago
model.safetensors.index.json
Safe
27.8 kB
Upload new version of large model
10 months ago
special_tokens_map.json
Safe
616 Bytes
Upload new version of large model
10 months ago
tokenizer.json
Safe
11.4 MB
xet
Upload new version of large model
10 months ago
tokenizer_config.json
Safe
7.35 kB
Upload new version of large model
10 months ago
train_results.json
221 Bytes
Upload new version of large model
10 months ago
trainer_log.jsonl
391 kB
Upload new version of large model
10 months ago
trainer_state.json
344 kB
Upload new version of large model
10 months ago
training_args.bin
pickle
Detected Pickle imports (13)
"transformers.trainer_utils.SchedulerType"
,
"accelerate.state.PartialState"
,
"torch.bfloat16"
,
"transformers.training_args.OptimizerNames"
,
"torch.device"
,
"accelerate.utils.dataclasses.DistributedType"
,
"transformers.trainer_utils.IntervalStrategy"
,
"transformers.integrations.deepspeed.HfDeepSpeedConfig"
,
"transformers.integrations.deepspeed.HfTrainerDeepSpeedConfig"
,
"accelerate.utils.dataclasses.DeepSpeedPlugin"
,
"transformers.training_args_seq2seq.Seq2SeqTrainingArguments"
,
"transformers.trainer_pt_utils.AcceleratorConfig"
,
"transformers.trainer_utils.HubStrategy"
How to fix it?
7.29 kB
xet
Upload new version of large model
10 months ago
training_loss.png
46.4 kB
Upload new version of large model
10 months ago
vocab.json
Safe
2.78 MB
Upload new version of large model
10 months ago