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