FluffyAIcode
/

Kakeya-OProver-Stage2-SFT1000

Text Generation

theorem-proving

Model card Files Files and versions

Kakeya-OProver-Stage2-SFT1000 / tokenizer.json

cryptobiosis's picture

Publish sanitized Stage 2 SFT1000 release

dc75d2b verified 2 days ago

History Blame Contribute Delete

11.4 MB

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

Xet Pointer Details

( Raw pointer file )

Xet hash:: 38d84669df1d63a6c4fc7df3a2a88bcfddc1866bd73c08c770a257967c9c3b28
Size of remote file:: 11.4 MB
SHA256:: 0ab5a866c748c81fe21eb29faa5c87c5f6448415348e5ab984ba2d69c6d68b36

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