FrenzyMath
/

REAL-Prover

Text Generation

theorem-proving

formal-mathematics

retrieval-augmented

mathematical-reasoning

text-generation-inference

Model card Files Files and versions

mmtke commited on Jul 17, 2025

Commit

39aa397

·

verified ·

1 Parent(s): 4dcdc07

Delete ._____temp

Files changed (1) hide show

._____temp/model-00003-of-00004.safetensors +0 -3

._____temp/model-00003-of-00004.safetensors DELETED Viewed

@@ -1,3 +0,0 @@
-version https://git-lfs.github.com/spec/v1
-oid sha256:5462e30bbbb39a764dc3b690a5c0cdaeb54a5f3c509e794ab9016264425a2f0c
-size 74448896