FrenzyMath
/

REAL-Prover

Text Generation

theorem-proving

formal-mathematics

retrieval-augmented

mathematical-reasoning

text-generation-inference

Model card Files Files and versions

REAL-Prover / training_args.bin

mmtke's picture

Upload new version of large model

ae49dc4 verified 8 months ago

7.29 kB

This file is stored with Xet . It is too big to display, but you can still download it.

Large File Pointer Details

( Raw pointer file )

SHA256:: 93b1b1590c211617f8ba187851796b7c1a2fbeed085db1ad749a31683e04f41e
Pointer size:: 129 Bytes
Size of remote file:: 7.29 kB
Xet hash:: 672631873b6b9ec903b7b86da8dbd5042a0bab8f74904b66e3423c34408be863

Xet efficiently stores Large Files inside Git, intelligently splitting files into unique chunks and accelerating uploads and downloads. More info.