Nada Amin
mitnamin
AI & ML interests
Formal Verification
Recent Activity
liked a dataset about 1 month ago
metareflection/dafny-disco updated a model 5 months ago
metareflection/dafny-annotator-vfp-autogen-4B updated a model 5 months ago
metareflection/dafny-annotator-vfp-sketch-autogen-4BOrganizations
