Enhancing RL Safety with Counterfactual LLM Reasoning
On the map: LLM reasoning → Reinforcement learning for reasoning
Abstract (arXiv)
Reinforcement learning (RL) policies may exhibit unsafe behavior and are hard to explain. We use counterfactual large language model reasoning to enhance RL policy safety post-training. We show that our approach improves and helps to explain the RL policy safety.
Key facts. Cited by 6 papers in the map (data through 7 Oct 2026). Placed in Reinforcement learning for reasoning, one of 17 directions in LLM reasoning. Builds on 13 of its 23 references that are in the map. First posted on arXiv 16 Sep 2024.
Builds on
13 of 23 references.
References · 13
- 2017Attention Is All You Needcited by 59,932
- 2023GPT-4 Technical Reportcited by 18,132
- 2013Playing Atari with Deep Reinforcement Learningcited by 3,211
- 2023Guiding Pretraining in Reinforcement Learning with Large Language Modelscited by 185
- 2018Omega-Regular Objectives in Model-Free Reinforcement Learningcited by 74
- 2020The Probabilistic Model Checker Stormcited by 64
- 2021Scalar reward is not enough: A response to Silver, Singh, Precup and Sutton (2021)cited by 55
- 2022Safe Reinforcement Learning via Shielding under Partial Observabilitycited by 49
- 2019An Inductive Synthesis Framework for Verifiable Reinforcement Learningcited by 39
- 2022COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checkingcited by 19
- 2023Explaining Reinforcement Learning Agents Through Counterfactual Action Outcomescited by 13
- 2021"I Don't Think So": Summarizing Policy Disagreements for Agent Comparisoncited by 6
1 more
Built on by
Citing papers per year: 2025: 2; 2026: 4.
6 papers.
- 2026Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MCcited by 3
- 2025Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policiescited by 2
- 2025Verifying Memoryless Sequential Decision-making of Large Language Modelscited by 1
- 2026COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Managementcited by 0
- 2026COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenancecited by 0
- 2026Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oraclecited by 0
- 2026Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle31 Aug 2026
- 2026COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance8 Mar 2026
- 2026COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management2 Mar 2026
- 2026Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC16 Feb 2026
- 2025Verifying Memoryless Sequential Decision-making of Large Language Models8 Oct 2025
- 2025Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies6 Jan 2025
Similar, not cited
Close in wording, no citation either way
- 2025Breaking the Safety-Capability Tradeoff: Reinforcement Learning with Verifiable Rewards Maintains Safety Guardrails in LLMs
- 2025Beyond SFT: Reinforcement Learning for Safer Large Reasoning Models with Better Reasoning Ability
- 2025Part I: Tricks or Traps? A Deep Dive into RL for LLM Reasoning
- 2025RL-PLUS: Countering Capability Boundary Collapse of LLMs in Reinforcement Learning with Hybrid-policy Optimization
- 2026Rethinking RL for LLM Reasoning: It's Sparse Policy Selection, Not Capability Learning
- 2024Evaluating Defences against Unsafe Feedback in RLHF
- 2025Revisiting Reinforcement Learning for LLM Reasoning from A Cross-Domain Perspective
- 2025A Survey of Reinforcement Learning for Large Reasoning Models