kaist-ai
/

metamath-langbridge-15b

File size: 135 Bytes

de71e27

version https://git-lfs.github.com/spec/v1
oid sha256:158bb57eb0669a29b1cc7ccac9b693acbbf9b132c65db28a7e1e372cd1ccc7ea
size 4933722216