36 citations · 40 across the 15 of their papers we have counts for
Showing 2024 · cs.AIShow all
2 papers · 2 filters
cs.AI2024
Joint Verification and Refinement of Language Models for Safety-Constrained Planning
Yunhao Yang, Neel P. Bhatt, William Ward +3
Large language models possess impressive capabilities in generating programs (e.g., Python) from natural language descriptions to execute robotic tasks. However, these generated pr…
cs.AI2024★ 1 cited
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
Arko Banerjee, Kia Rahmani, Joydeep Biswas +1
Among approaches for provably safe reinforcement learning, Model Predictive Shielding (MPS) has proven effective at complex tasks in continuous, high-dimensional state spaces, by l…