Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Guruprerana Shabadi
Observed name:
Shabadi, Guruprerana
Institution:
University of Pennsylvania
Observed institutions:
École Polytechnique,
Institut Polytechnique de Paris,
University of Warsaw,
University of Pennsylvania
OpenAlex ID:
A5133034857
Static Analysis of Data Transformations in Jupyter Notebooks
2023
·
Luca Negrini
, Guruprerana Shabadi
, et al.
·
State Of the Art in Java Program Analysis
·
13
PDF
Do We Need Frontier Models to Verify Mathematical Proofs?
2026
·
Naik, Aaditya
, Shabadi, Guruprerana
, et al.
·
arXiv (Cornell University)
·
4
PDF
Programmatic Reinforcement Learning: Navigating Gridworlds
2024
·
Shabadi, Guruprerana
, Fijalkow, Nathanaël
, et al.
·
arXiv (Cornell University)
·
3
PDF
Optimization Modulo Integer Linear-Exponential Programs
2026
·
S Hitarth
, Alessio Mansutti
, et al.
·
Society for Industrial and Applied Mathematics eBooks
·
1
PDF
Risk-Sensitive Agent Compositions
2025
·
Shabadi, Guruprerana
, Alur, Rajeev
·
arXiv (Cornell University)
·
1
PDF
Learning Strategies to Break Judges
2026
·
Shabadi, Guruprerana
, Naik, Aaditya
, et al.
·
arXiv (Cornell University)
PDF
Auction-Based Online Policy Adaptation for Evolving Objectives
2026
·
Shabadi, Guruprerana
, Mallik, Kaushik
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
7
Citation count:
22
H-index:
3
I10-index:
1
Year
Topic
Type
