FluffyAIcode
/

Kakeya-OProver-Stage4-Repair-SFT

Text Generation

theorem-proving

Model card Files Files and versions

Kakeya-OProver-Stage4-Repair-SFT / tokenizer.json

cryptobiosis's picture

Publish sanitized Stage 4 Repair SFT release

8e74b89 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:: 058e5973e2cf6479d6a781bdf56bc1e2e1b9fb478f04bf2bf6dd62eae23d831a
Size of remote file:: 11.4 MB
SHA256:: 217e7242c0cafb50790f703bb14e062966b997a1bc8dc980e11240f5f1d06d27

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