FrenzyMath
/

REAL-Prover

Text Generation

theorem-proving

formal-mathematics

retrieval-augmented

mathematical-reasoning

text-generation-inference

Model card Files Files and versions

REAL-Prover / vocab.json

mmtke's picture

Upload new version of large model

ae49dc4 verified 4 months ago

2.78 MB

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