🔄 In a Training Loop

Kiran Gopinathan

kiranandcode

·

https://kirancodes.me

AI & ML interests

None yet

Recent Activity

updated a dataset about 3 hours ago

kiranandcode/agda-categories-informalized

published a dataset about 3 hours ago

kiranandcode/agda-categories-informalized

View all activity

Organizations

kiranandcode 's datasets 1

kiranandcode/agda-categories-informalized

Viewer • Updated about 3 hours ago • 4.54k