FrenzyMath
/

REAL-Prover

Text Generation

theorem-proving

formal-mathematics

retrieval-augmented

mathematical-reasoning

text-generation-inference

Model card Files Files and versions

REAL-Prover / README.md

Commit History

Update README.md

1fc4a9b
verified

mmtke commited on Jul 17, 2025

Update README.md

4e5194c
verified

mmtke commited on Jul 17, 2025

Update README.md

4dcdc07
verified

mmtke commited on Jul 11, 2025

Update README.md

b3cc8b0
verified

mmtke commited on Jul 11, 2025

initial commit

1737183
verified

mmtke commited on Jul 5, 2025