metareflection

AI & ML interests

Formal Verification

Recent Activity

gpoesia  updated a collection 3 days ago

formal-disco

gpoesia  updated a dataset 3 days ago

metareflection/formal-disco

gpoesia  published a dataset 3 days ago

metareflection/formal-disco

View all activity

Team members 10