Aseem Rastogi

Researcher, Research, Microsoft

Joined

June 2023

Names

Aseem Rastogi (Preferred)

Emails

****@microsoft.com (Confirmed)

Personal Links

Career & Education History

Researcher

Research, Microsoft (research.microsoft.com)

2016 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu K Lahiri, Sarah Fakhoury, Madanlal Musuvathi, Akash Lal, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
- 27 Nov 2023 (modified: 27 Nov 2023)
- OpenReview Archive Direct Upload
- Readers: Everyone
Ranking LLM-Generated Loop Invariants for Program Verification
Saikat Chakraborty, Shuvendu K Lahiri, Sarah Fakhoury, Akash Lal, Madanlal Musuvathi, Aseem Rastogi, Aditya Senthilnathan, Rahul Sharma, Nikhil Swamy
- EMNLP 2023 Findings
- Readers: Everyone

Co-Authors