Adam Topaz

adamtopaz's activity

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

updated a dataset 8 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 8 days ago • 737k • 1.08k

published a dataset 8 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 8 days ago • 737k • 1.08k

updated 2 datasets 11 days ago

mathlib-initiative/mathlib-tactics

Viewer • Updated 11 days ago • 1.86M • 92

mathlib-initiative/mathlib-const-dep

Viewer • Updated 11 days ago • 737k • 13

published 2 datasets 11 days ago

mathlib-initiative/mathlib-tactics

Viewer • Updated 11 days ago • 1.86M • 92

mathlib-initiative/mathlib-const-dep

Viewer • Updated 11 days ago • 737k • 13

updated a dataset about 1 month ago

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 116

published a dataset about 1 month ago

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 116

updated a dataset 5 months ago

adamtopaz/my-dataset

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

published a dataset 5 months ago

adamtopaz/my-dataset

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

updated 2 datasets over 1 year ago

adamtopaz/subterm_data

Updated Oct 28, 2024 • 17

adamtopaz/equational_dataset

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