metareflection

AI & ML interests

Formal Verification

Recent Activity

gpoesia  updated a dataset 3 days ago

metareflection/dafny-disco

gpoesia  published a dataset 3 days ago

metareflection/dafny-disco

mitnamin  updated a model 4 months ago

metareflection/dafny-annotator-vfp-autogen-4B

View all activity

Team members 10