Guruprerana Shabadi

According to our database, Guruprerana Shabadi authored at least 6 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Do We Need Frontier Models to Verify Mathematical Proofs?

Aaditya Naik, Guruprerana Shabadi, Rajeev Alur, Mayur Naik

CoRR, April, 2026

Auction-Based Online Policy Adaptation for Evolving Objectives.

Guruprerana Shabadi, Kaushik Mallik

CoRR, April, 2026

Optimization Modulo Integer Linear-Exponential Programs.

S. Hitarth, Alessio Mansutti, Guruprerana Shabadi

Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, 2026

2025

Composing Agents to Minimize Worst-case Risk.

Guruprerana Shabadi, Rajeev Alur

CoRR, June, 2025

2024

Theoretical foundations for programmatic reinforcement learning.

Guruprerana Shabadi, Nathanaël Fijalkow, Théo Matricon

CoRR, 2024

2023

Static Analysis of Data Transformations in Jupyter Notebooks.

Luca Negrini, Guruprerana Shabadi, Caterina Urban

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023