Adam Topaz

adamtopaz's activity

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

updated a dataset 29 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 29 days ago • 737k • 401

published a dataset 29 days ago

mathlib-initiative/mathlib-types

Viewer • Updated 29 days ago • 737k • 401

updated 2 datasets about 1 month ago

mathlib-initiative/mathlib-tactics

Viewer • Updated Apr 25 • 1.86M • 3.4k

mathlib-initiative/mathlib-const-dep

Viewer • Updated Apr 25 • 737k • 989

published 2 datasets about 1 month ago

mathlib-initiative/mathlib-tactics

Viewer • Updated Apr 25 • 1.86M • 3.4k

mathlib-initiative/mathlib-const-dep

Viewer • Updated Apr 25 • 737k • 989

updated a dataset 2 months ago

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 935

published a dataset 2 months ago

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 935

updated a dataset 6 months ago

adamtopaz/my-dataset

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

published a dataset 6 months ago

adamtopaz/my-dataset

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

updated 2 datasets over 1 year ago

adamtopaz/subterm_data

Updated Oct 28, 2024 • 16

adamtopaz/equational_dataset

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