Joonu Jo's picture

9

Joonu Jo

metamath

·

https://metamath1.github.io

AI & ML interests

None yet

Organizations

None yet

metamath 's datasets 2

metamath/codeparrot-ds-raw-sm

Viewer • Updated Jan 9, 2024 • 20 • 34

metamath/codeparrot-ds-tokenized-128

Viewer • Updated Jan 9, 2024 • 16.8M • 39