Adam Topaz

adamtopaz's activity

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

updated a dataset 3 days ago

mathlib-initiative/mathlib-tactics

Viewer • Updated 3 days ago • 1.99M • 1.92k • 2

updated 2 datasets 16 days ago

mathlib-initiative/mathlib-const-dep

Viewer • Updated 16 days ago • 771k • 1.13k

mathlib-initiative/mathlib-types

Viewer • Updated 16 days ago • 771k • 1.02k

published 3 datasets 5 months ago

mathlib-initiative/mathlib-types

Viewer • Updated 16 days ago • 771k • 1.02k

mathlib-initiative/mathlib-tactics

Viewer • Updated 3 days ago • 1.99M • 1.92k • 2

mathlib-initiative/mathlib-const-dep

Viewer • Updated 16 days ago • 771k • 1.13k

updated a dataset 6 months ago

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 230

published a dataset 6 months ago

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 230

updated a dataset 10 months ago

adamtopaz/my-dataset

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

published a dataset 10 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 • 5

adamtopaz/equational_dataset

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