kaist-ai
/

metamath-langbridge-9b

File size: 135 Bytes

039e901

version https://git-lfs.github.com/spec/v1
oid sha256:81b5d68c3270f55e7bbd1ad2ba68d48ea294dec095ad2ae3f30f2ef29b6e8c29
size 4947390824