FluffyAIcode
/

Kakeya-OProver-Stage4-Repair-SFT

Text Generation

theorem-proving

Model card Files Files and versions

Kakeya-OProver-Stage4-Repair-SFT / adapter_model.safetensors

cryptobiosis's picture

Publish sanitized Stage 4 Repair SFT release

8e74b89 verified 19 days ago

History Blame Contribute Delete

175 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:: 5ba51156c5b3a2455cce8bb3e567c397d9304086af72365774bd8c077819333e
Size of remote file:: 175 MB
SHA256:: a24765df00ba8213e0032c10cbcddb242a65ffee937520cea2b61bc0d2d68837

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