Scholar
Aditya Kanade
Google Scholar ID: FCCMbWYAAAAJ
Microsoft Research India
Artificial Intelligence
Formal Methods
Programming Languages
Software Engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,550
H-index
21
i10-index
28
Publications
20
Co-authors
83
list available
Contact
Email
kanadeaditya@microsoft.com
Twitter
Open ↗
LinkedIn
Open ↗
Publications
5 items
Faithful GRPO: Improving Visual Spatial Reasoning in Multimodal Language Models via Constrained Policy Optimization
2026
Cited
0
Exposing Weak Links in Multi-Agent Systems under Adversarial Prompting
2025
Cited
0
Do You See Me : A Multidimensional Benchmark for Evaluating Visual Perception in Multimodal LLMs
2025
Cited
0
Robust Learning of Diverse Code Edits
2025
Cited
0
An Empirical Study of Validating Synthetic Data for Formula Generation
North American Chapter of the Association for Computational Linguistics · 2024
Cited
0
Resume (English only)
Co-authors
83 total
Co-author 1
Co-author 2
Co-author 3
Nagarajan Natarajan
Researcher, Microsoft Research India
Atharv Sonwane
Cornell University
Petros Maniatis
Staff Research Scientist, Google
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up