Adam Topaz

adamtopaz's activity

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

updated a dataset 14 days ago

mathlib-initiative/mathlib-tactics

Viewer • Updated 14 days ago • 1.95M • 2.4k

updated 2 datasets 15 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 15 days ago • 767k • 1.31k

mathlib-initiative/mathlib-const-dep

Viewer • Updated 15 days ago • 767k • 1.13k

published 3 datasets 3 months ago

mathlib-initiative/mathlib-types

Viewer • Updated 15 days ago • 767k • 1.31k

mathlib-initiative/mathlib-tactics

Viewer • Updated 14 days ago • 1.95M • 2.4k

mathlib-initiative/mathlib-const-dep

Viewer • Updated 15 days ago • 767k • 1.13k

updated a dataset 4 months ago

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 421

published a dataset 4 months ago

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 421

updated a dataset 8 months ago

adamtopaz/my-dataset

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

published a dataset 8 months ago

adamtopaz/my-dataset

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

updated 2 datasets almost 2 years ago

adamtopaz/subterm_data

Updated Oct 28, 2024 • 7

adamtopaz/equational_dataset

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