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