kaist-ai
/

metamath-langbridge-20b

File size: 135 Bytes

ea9f1e6

version https://git-lfs.github.com/spec/v1
oid sha256:8715cfbe981dca8e9e619777da5e2eb6de20640667c6d180206c3e816890b9c7
size 4968289352