kaist-ai
/

metamath-langbridge-15b

File size: 135 Bytes

de71e27

version https://git-lfs.github.com/spec/v1
oid sha256:85ba8bb2b24d2ed0cb9bf24eb9df63d318d9e349d9d75624f3bbf9232cd7f185
size 4663712912