FoSeRL, a framework for certifying deployed RL policies against precommitted, temporally sparse action attacks, is introduced, which achieves substantially larger certified budgets than policy smoothing, and reveals marked robustness differences among policies with comparable nominal performance.
Sara Taheri, D. Ganguly, Jan Křetinský et al.· 0 citations
RATTL targets runtime safety for agents, including LLM-based systems, acting under uncertainty, and proves a Safety Sandwich: the RATTL value lies between the uninformed robust value and the full- knowledge optimum, with a gap that vanishes as the posterior concentrates.
An agent still learning its environment should be cautious while ignorant and bold once confident. The entropic value-at-risk captures this through a robust-optimization identity---a confidence level fixes the radius of a relative-entropy ball of alternative models---but that ball cannot reach catastrophes the nominal...
D. Ganguly, Jan Křetinský· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.