Team Ai
Modelpublic

Formal-Math-Reasoning/DRIFT-dpr-mathlib

sourceHugging Faceupdated 8mo agoView on Hugging Face
1likes10downloads
roottokenizer.json
tokenizer.json4 linesDownload Raw Back to root
1version https://git-lfs.github.com/spec/v12oid sha256:c1ab5541e0a1efd51100d535e54faa055c69f83796c64d00ce5c7db9d8600c4d3size 170828984