metareflection

AI & ML interests

Formal Verification

Recent Activity

mitnamin  updated a model 5 days ago

metareflection/dafny-annotator-vfp-4B

mitnamin  published a model 5 days ago

metareflection/dafny-annotator-vfp-4B

mitnamin  updated a model 6 days ago

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

View all activity

Team members 10