Shuvendu K. Lahiri's picture

Shuvendu K. Lahiri

Shuvendu-lahiri

·

https://www.microsoft.com/en-us/research/people/shuvendu/

AI & ML interests

Programming tools, formal methods

Organizations

None yet

Papers 1

arxiv:2310.09342

models 0

None public yet

datasets 0

None public yet