metareflection

AI & ML interests

Formal Verification

Recent Activity

gpoesia  updated a collection 16 days ago

formal-disco

gpoesia  updated a dataset 16 days ago

metareflection/formal-disco

gpoesia  published a dataset 16 days ago

metareflection/formal-disco

View all activity

Team members 10