Verifiable Language Model Explanations for Deep RL-Based Flow Smoothing. - Ashish Pandian; Ashwin Dara; Adrien Bindel; Nathan Lichtlé; Prasen Jit Singh; Fatimah Alzamzami; Esam Othman; Sulaiman Almatrudi; Jonathan W. Lee; Alexandre M. Bayen (ITSC, 2025)