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
1a902d0
·
verified ·
1 Parent(s): 7974b56

Delete training_loss.png

Browse files
Files changed (1) hide show
  1. training_loss.png +0 -0
training_loss.png DELETED
Binary file (46.4 kB)