4 citations · 5 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.OS2023
On a Foundation Model for Operating Systems
Divyanshu Saxena, Nihal Sharma, Donghyun Kim +15
This paper lays down the research agenda for a domain-specific foundation model for operating systems (OSes). Our case for a foundation model revolves around the observations that…
cs.LG2023
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
Chenxi Yang, Greg Anderson, Swarat Chaudhuri
We present a reinforcement learning (RL) framework in which the learned policy comes with a machine-checkable certificate of provable adversarial robustness. Our approach, called C…