4 papers
Automata-Theoretic Verification of Interval Markov Decision Processes
Sarvin Bahmani, Soumyajit Paul, Sven Schewe +2
Interval Markov decision processes (IMDPs) provide a natural framework for modeling stochastic systems with uncertain transition probabilities, represented by probability intervals…
KV-Fold: One-Step KV-Cache Recurrence for Long-Context Inference
Alireza Nadali, Patrick Cooper, Ashutosh Trivedi +1
We introduce KV-Fold, a simple, training-free long-context inference protocol that treats the key-value (KV) cache as the accumulator in a left fold over sequence chunks. At each s…
Social Welfare under Heterogeneous Time Preferences
Sarvin Bahmani, Soumyajit Paul, Sven Schewe +2
In several socioeconomic-critical decision-making settings, such as fair resource allocation, climate policy, or AI alignment, multiple principals interact within a common arena. W…
Anticipating Oblivious Opponents in Stochastic Games
Shadi Tasdighi Kalat, Sriram Sankaranarayanan, Ashutosh Trivedi
We present an approach for systematically anticipating the actions and policies employed by \emph{oblivious} environments in concurrent stochastic games, while maximizing a reward…