Scholar
Nada Amin
Google Scholar ID: 9cGEmcgAAAAJ
Harvard University
Programming Languages
Artificial Intelligence
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
51,381
H-index
23
i10-index
30
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
4 items
Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs
2026
Cited
0
Compiling to recurrent neurons
2025
Cited
0
Compiling to linear neurons
2025
Cited
0
Beyond Cons: Purely Relational Data Structures
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
