Adam Topaz's picture

Adam Topaz

adamtopaz

·

https://adamtopaz.com

adamtopaz

AI & ML interests

None yet

Recent Activity

updated a dataset about 8 hours ago

mathlib-initiative/mathlib-types

updated a dataset 1 day ago

adamtopaz/mathlib_const_deps

published a dataset 1 day ago

adamtopaz/mathlib_const_deps

View all activity

Organizations

adamtopaz 's datasets 4

adamtopaz/mathlib_const_deps

Viewer • Updated 1 day ago • 733k • 23

adamtopaz/my-dataset

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

adamtopaz/subterm_data

Updated Oct 28, 2024 • 9

adamtopaz/equational_dataset

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