metareflection

AI & ML interests

Formal Verification

Recent Activity

gpoesia  updated a collection about 1 month ago

formal-disco

gpoesia  updated a dataset about 1 month ago

metareflection/formal-disco

gpoesia  published a dataset about 1 month ago

metareflection/formal-disco

View all activity

Team members 10