Adam Topaz's picture

Adam Topaz

adamtopaz

·

https://adamtopaz.com

adamtopaz

AI & ML interests

None yet

Recent Activity

updated a dataset 19 days ago

mathlib-initiative/mathlib-types

published a dataset 19 days ago

mathlib-initiative/mathlib-types

updated a dataset 22 days ago

mathlib-initiative/mathlib-tactics

View all activity

Organizations

models 0

None public yet

datasets 4

adamtopaz/mathlib_const_deps

Viewer • Updated Mar 27 • 733k • 955

adamtopaz/my-dataset

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

adamtopaz/subterm_data

Updated Oct 28, 2024 • 19

adamtopaz/equational_dataset

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