Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
Shuvendu K. Lahiri
Shuvendu-lahiri
Follow
BrandonHatch's profile picture
1 follower
·
0 following
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
None public yet
datasets
None public yet