metareflection

AI & ML interests

Formal Verification

Recent Activity

gpoesia  updated a collection 29 days ago

formal-disco

gpoesia  updated a dataset 29 days ago

metareflection/formal-disco

gpoesia  published a dataset 29 days ago

metareflection/formal-disco

View all activity

Team members 10