Researcher, LY Corporation
1 paper at NeurIPS 2025
We propose a provable safe RL approach with end-to-end safety guarantee.