Imagen de Portada

Formally Verifying and Explaining Sepsis Treatment Policies with COOL-MC

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Gross, Dennis
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Machine Learning
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management
por: Gross, Dennis
Publicado: (2026)

COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance
por: Gross, Dennis
Publicado: (2026)

Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies
por: Gross, Dennis, et al.
Publicado: (2025)

Towards Verified and Targeted Explanations through Formal Methods
por: Wang, Hanchen David, et al.
Publicado: (2026)

Explaining, Verifying, and Aligning Semantic Hierarchies in Vision-Language Model Embeddings
por: Schwalbe, Gesina, et al.
Publicado: (2026)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
por: Chen, Luoxin, et al.
Publicado: (2026)

Exploring Time-Step Size in Reinforcement Learning for Sepsis Treatment
por: Sun, Yingchuan, et al.
Publicado: (2025)

Empowering Clinicians with Medical Decision Transformers: A Framework for Sepsis Treatment
por: Rahman, Aamer Abdul, et al.
Publicado: (2024)

Learning Preference-Based Objectives from Clinical Narratives for Dynamic Sepsis Treatment
por: Tan, Daniel J., et al.
Publicado: (2026)

Stable CDE Autoencoders with Acuity Regularization for Offline Reinforcement Learning in Sepsis Treatment
por: Gao, Yue
Publicado: (2025)

Turn-based Multi-Agent Reinforcement Learning Model Checking
por: Gross, Dennis
Publicado: (2025)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
por: Abu-Haeyeh, Yasmine, et al.
Publicado: (2026)

A2RBench: An Automatic Paradigm for Formally Verifiable Abstract Reasoning Benchmark Generation
por: Ma, Qingchuan, et al.
Publicado: (2026)

Learning Nonlinear Causal Reductions to Explain Reinforcement Learning Policies
por: Kekić, Armin, et al.
Publicado: (2025)

AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement
por: Aggarwal, Pranjal, et al.
Publicado: (2024)

Random Policy Valuation is Enough for LLM Reasoning with Verifiable Rewards
por: He, Haoran, et al.
Publicado: (2025)

Can We Formally Verify Neural PDE Surrogates? SMT Compilation of Small Fourier Neural Operators
por: Baheri, Ali, et al.
Publicado: (2026)

ACTER: Diverse and Actionable Counterfactual Sequences for Explaining and Diagnosing RL Policies
por: Gajcin, Jasmina, et al.
Publicado: (2024)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
por: Mandal, Udayan, et al.
Publicado: (2024)

MEET-Sepsis: Multi-Endogenous-View Enhanced Time-Series Representation Learning for Early Sepsis Prediction
por: Tan, Zexi, et al.
Publicado: (2025)

Explainable AI For Early Detection Of Sepsis
por: Thakur, Atharva, et al.
Publicado: (2025)

Translating the Rashomon Effect to Sequential Decision-Making Tasks
por: Gross, Dennis, et al.
Publicado: (2025)

Reinforced Sequential Decision-Making for Sepsis Treatment: The POSNEGDM Framework with Mortality Classifier and Transformer
por: Tamboli, Dipesh, et al.
Publicado: (2024)

FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
por: Ravi, Nikil, et al.
Publicado: (2026)

GRPO-VPS: Enhancing Group Relative Policy Optimization with Verifiable Process Supervision for Effective Reasoning
por: Wang, Jingyi, et al.
Publicado: (2026)

RiskPO: Risk-based Policy Optimization via Verifiable Reward for LLM Post-Training
por: Ren, Tao, et al.
Publicado: (2025)

Explainable AI for Fair Sepsis Mortality Predictive Model
por: Chang, Chia-Hsuan, et al.
Publicado: (2024)

Early Prediction of Sepsis: Feature-Aligned Transfer Learning
por: Komolafe, Oyindolapo O., et al.
Publicado: (2025)

MC-GRPO: Median-Centered Group Relative Policy Optimization for Small-Rollout Reinforcement Learning
por: Kim, Youngeun
Publicado: (2026)

CSRA: Controlled Spectral Residual Augmentation for Robust Sepsis Prediction
por: Guo, Honglin, et al.
Publicado: (2026)

Temporal Sepsis Modeling: a Relational and Explainable-by-Design Framework
por: Lemaire, Vincent, et al.
Publicado: (2026)

Improving Early Sepsis Onset Prediction Through Federated Learning
por: Düsing, Christoph, et al.
Publicado: (2025)

Investigating potential causes of Sepsis with Bayesian network structure learning
por: Petrungaro, Bruno, et al.
Publicado: (2024)

Learning by Self-Explaining
por: Stammer, Wolfgang, et al.
Publicado: (2023)

Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers
por: Cai, Xin-Qiang, et al.
Publicado: (2025)

Explainable RL Policies by Distilling to Locally-Specialized Linear Policies with Voronoi State Partitioning
por: Deproost, Senne, et al.
Publicado: (2025)

Formal Verification of Noisy Quantum Reinforcement Learning Policies
por: Gross, Dennis
Publicado: (2025)

Explaining Predictions by Characteristic Rules
por: Alkhatib, Amr, et al.
Publicado: (2024)

Explaining RL Decisions with Trajectories
por: Deshmukh, Shripad Vilasrao, et al.
Publicado: (2023)

COOL: A Conjoint Perspective on Spatio-Temporal Graph Neural Network for Traffic Forecasting
por: Ju, Wei, et al.
Publicado: (2024)