Yonatan Getachew

jajostrains

2

·

AI & ML interests

None yet

Recent Activity

published a model 15 days ago

jajostrains/Mathlib-Sexpr-GNN

updated a model 16 days ago

jajostrains/Mathlib-Sexpr-GNN

updated a dataset about 1 month ago

jajostrains/Mathlib-Normalized-Sexpr

View all activity

Organizations

None yet

jajostrains 's datasets 2

jajostrains/Mathlib-Normalized-Sexpr

Viewer • Updated Aug 27 • 227k • 40

jajostrains/to_be_deleted

Updated Dec 6, 2025 • 4