Lazar Milikic
Lemmy00
ยท
AI & ML interests
None yet
Recent Activity
updated
a dataset 13 days ago
formalmathatepfl/sft-data-combined updated
a dataset 14 days ago
formalmathatepfl/lean-docs published
a dataset 14 days ago
formalmathatepfl/lean-docs Organizations
