formal guarantees

4 papers

• RvLLM: LLM Runtime Verification with Domain Knowledge
• State Entropy Regularization for Robust Reinforcement Learning
• State Entropy Regularization for Robust Reinforcement Learning
• Trust Region Reward Optimization and Proximal Inverse Reward Optimization Algorithm