FrenzyMath
/

REAL-Prover

Text Generation

theorem-proving

formal-mathematics

retrieval-augmented

mathematical-reasoning

text-generation-inference

Model card Files Files and versions

REAL-Prover / trainer_state.json

mmtke's picture

Upload new version of large model

ae49dc4 verified 8 months ago

344 kB

File too large to display, you can check the raw version instead.