formalmathatepfl

AI & ML interests

None defined yet.

Recent Activity

raduv98  updated a dataset 15 days ago

formalmathatepfl/sft-data-combined

Lemmy00  updated a dataset 16 days ago

formalmathatepfl/sft-data-combined

Lemmy00  updated a dataset about 1 month ago

formalmathatepfl/lean-docs

View all activity

Team members 6