metareflection

AI & ML interests

Formal Verification

Recent Activity

gpoesia  updated a collection 11 days ago

formal-disco

gpoesia  updated a dataset 11 days ago

metareflection/formal-disco

gpoesia  published a dataset 11 days ago

metareflection/formal-disco

View all activity

Team members 10