3 papers
cs.LO2026
Scenario-Based Compositional Statistical Model Checking for Safety Specifications
Abhinav Pomalapally, Arya Raeesi, Kevin Kai-Chun Chang +2
In safety-critical domains such as autonomous driving, systems must be evaluated across a large number of environment conditions, often represented as composite scenarios built fro…
cs.AR2026
Beyond Binary Priorities: Multi-Tier SLA Scheduling for Large Language Model Serving
Anders Vestrum, Arya Raeesi, Hanna Roed
Modern LLM serving deployments must simultaneously satisfy heterogeneous service-level objectives (SLOs) across a diverse population of user tiers, ranging from latency-critical AP…
cs.CL2026
Auditing Forgetting in Limited Memory Language Models
Arya Raeesi, Hanna Roed
Limited Memory Language Models (LMLMs) externalize factual knowledge to a database to enable deletion-based unlearning without retraining. Existing evaluations measure post-deletio…