formalmathatepfl

formalmathatepfl's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

raduv98 

updated a dataset 6 days ago

formalmathatepfl/sft-data-combined

Viewer • Updated 6 days ago • 3.6M • 143

Lemmy00 

updated a dataset 6 days ago

formalmathatepfl/sft-data-combined

Viewer • Updated 6 days ago • 3.6M • 143

Lemmy00 

updated a dataset 26 days ago

formalmathatepfl/lean-docs

Viewer • Updated 26 days ago • 8.79k • 12

Lemmy00 

published a dataset 26 days ago

formalmathatepfl/lean-docs

Viewer • Updated 26 days ago • 8.79k • 12

Lemmy00 

published a dataset 27 days ago

formalmathatepfl/sft-data-combined

Viewer • Updated 6 days ago • 3.6M • 143

Lemmy00 

updated a dataset 29 days ago

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated 29 days ago • 103k • 20

Lemmy00 

published a dataset 29 days ago

formalmathatepfl/numinamath-lean-filtered

Viewer • Updated 29 days ago • 103k • 20