10 citations · 17 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2021
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani +5
Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and ex…