kaist-ai
/

metamath-langbridge-15b

File size: 135 Bytes

de71e27

version https://git-lfs.github.com/spec/v1
oid sha256:15aa115ce1153f4dc4b4d1630a3c3ec56c31ea5d6e89069cd0af2221f4b3da1a
size 4933701432