ruc-ai4math
/

LeanStateSearch2025.3

Sentence Similarity

Model card Files Files and versions

LeanStateSearch2025.3 / training_args.bin

happyllll's picture

initial commit

8c361e9 verified about 1 year ago

history blame contribute delete

5.18 kB

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:: 0df72b5f16fd44bf2981bfdaba4cbfea7b6749a31eeb53fdb42fd44d33306539
Size of remote file:: 5.18 kB
SHA256:: bd3f4715c72a565bce1ac091bbcfe0122e464f71c4dbdd5a6d0e0a27f5c33fe9

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