Hugging Face's logo

FrenzyMath
/
REAL-Prover

Text Generation
Transformers
Safetensors
English
qwen2
lean4
theorem-proving
formal-mathematics
retrieval-augmented
mathematical-reasoning
conversational
text-generation-inference
Model card Files
xet
Community
mmtke commited on
Commit
480f234
·
verified ·
1 Parent(s): 3793b45

Delete trainer_log.jsonl

Browse files
Files changed (1) hide show
  1. trainer_log.jsonl +0 -0
trainer_log.jsonl DELETED
The diff for this file is too large to render. See raw diff