kaist-ai
/

metamath-langbridge-9b

File size: 135 Bytes

039e901

version https://git-lfs.github.com/spec/v1
oid sha256:d75e26d04b1477ed1fcaa46aab6104307724800fe2b9fa3faa1ec4b4b2895a20
size 4947390880