formalmathatepfl

AI & ML interests

None defined yet.

Recent Activity

raduv98  updated a dataset about 18 hours ago

formalmathatepfl/sft-data-combined

Lemmy00  updated a dataset 1 day ago

formalmathatepfl/sft-data-combined

Lemmy00  updated a dataset 21 days ago

formalmathatepfl/lean-docs

View all activity

Team members 5