Adam Topaz's picture

Adam Topaz

adamtopaz

·

https://adamtopaz.com

adamtopaz

AI & ML interests

None yet

Recent Activity

updated a dataset 4 days ago

mathlib-initiative/mathlib-types

published a dataset 26 days ago

mathlib-initiative/mathlib-types

updated a dataset 27 days ago

adamtopaz/my-dataset

View all activity

Organizations

models 0

None public yet

datasets 3

adamtopaz/my-dataset

Viewer • Updated 27 days ago • 158k • 212

adamtopaz/subterm_data

Updated Oct 28, 2024 • 6

adamtopaz/equational_dataset

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