Modelpublic

Formal-Math-Reasoning/DRIFT-dpr-mathlib

sourceHugging Faceupdated 8mo agoView on Hugging Face

1likes10downloads

file.gitattributes2 KBdownload

filecolbert_linear.pt4.0 MBdownload

fileconfig.json658 Bdownload

filemodel.safetensors2.12 GBdownload

filesentencepiece.bpe.model4.8 MBdownload

filesparse_linear.pt5 KBdownload

filespecial_tokens_map.json964 Bdownload

filetokenizer_config.json1 KBdownload

filetokenizer.json16.3 MBdownload

Formal-Math-Reasoning/DRIFT-dpr-mathlib · main · files are served by the source, never re-hosted here