CoolFace
Modelpublic

ruc-ai4math/LeanStateSearch2025.3

sourceHugging Faceupdated 2y agoView on Hugging Face
1likes87downloads
root
dir1_Pooling/
file.gitattributes1 KBdownload
fileadded_tokens.json22 Bdownload
fileconfig_sentence_transformers.json171 Bdownload
fileconfig.json647 Bdownload
filemodel.safetensors255.4 MBdownload
filemodules.json349 Bdownload
fileREADME.md1 KBdownload
filesentence_bert_config.json53 Bdownload
filespecial_tokens_map.json695 Bdownload
filetokenizer_config.json2 KBdownload
filetokenizer.json765 KBdownload
filetraining_args.bin5 KBdownload
filevocab.txt296 KBdownload

ruc-ai4math/LeanStateSearch2025.3 · main · files are served by the source, never re-hosted here