1 citations · 1 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Optimization Modulo Integer Linear-Exponential Programs
S Hitarth, Alessio Mansutti, Guruprerana Shabadi
This paper presents the first study of the complexity of the optimization problem for integer linear-exponential programs which extend classical integer linear programs with the ex…
cs.LG2025
Risk-Sensitive Agent Compositions
Guruprerana Shabadi, Rajeev Alur
From software development to robot control, modern agentic systems decompose complex objectives into a sequence of subtasks and choose a set of specialized AI agents to complete th…