Adam Topaz

adamtopaz's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset 7 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 7 days ago • 738k • 842

updated a dataset 15 days ago

adamtopaz/mathlib_const_deps

Viewer • Updated 15 days ago • 733k • 152

published a dataset 15 days ago

adamtopaz/mathlib_const_deps

Viewer • Updated 15 days ago • 733k • 152

published a dataset 4 months ago

mathlib-initiative/mathlib-types

Viewer • Updated 7 days ago • 738k • 842

updated a dataset 4 months ago

adamtopaz/my-dataset

Viewer • Updated Dec 4, 2025 • 158k • 43

published a dataset 4 months ago

adamtopaz/my-dataset

Viewer • Updated Dec 4, 2025 • 158k • 43

updated 2 datasets over 1 year ago

adamtopaz/subterm_data

Updated Oct 28, 2024 • 4

adamtopaz/equational_dataset

Viewer • Updated Oct 25, 2024 • 11M • 178 • 2