ByteDance-Seed
/

BFS-Prover-V1-7B

Text Generation

theorem-proving

formal-mathematics

text-generation-inference

Model card Files Files and versions

BFS-Prover-V1-7B / model-00002-of-00004.safetensors

RanXinByteDance's picture

RanXinByteDance

Upload folder using huggingface_hub

36772f8 verified 9 months ago

history blame contribute delete

4.93 GB

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:: 815cb8f0698abfededf6953d22bff499344f4504265331016192bc0d3cae0084
Pointer size:: 135 Bytes
Size of remote file:: 4.93 GB
Xet hash:: 8e20a4ce659ee588040357267b4b28c36af70ad85dd6d8bec60c9997576e9670

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