formalmathatepfl

AI & ML interests

None defined yet.

Recent Activity

raduv98  updated a dataset 6 days ago

formalmathatepfl/sft-data-combined

Lemmy00  updated a dataset 6 days ago

formalmathatepfl/sft-data-combined

Lemmy00  updated a dataset 25 days ago

formalmathatepfl/lean-docs

View all activity

Team members 5