·
DataBubble
  • Home
  • Models
  • News
  • Compare
  • Boards
  • Pricing
  • About
  • Newsletter
  • Methodology
  • Contact
Latest
Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications42m◆Lifelong Multi-Subsystem Pickup and Delivery with Buffer-Limited Handover Stations42m◆MXSens: Sensitivity-Aware Mixed-Precision Quantization for Efficient LLM Inference42m◆Mobile Network Control with a World Model42m◆DA-Fusion: Deformable Attention-Based RGB-D Fusion Transformer for Unseen Object Instance Segmentation42m◆Seg2Grasp: A Robust Modular Suction Grasping in Bin Picking42m◆Generalize and Guide: Decomposing Rewards for Few-Shot Inverse Reinforcement Learning42m◆Time-Frequency Consistency Learning for Robust Speech Deepfake Detection42m◆Autonomous Discovery of Wireless Communications Algorithms42m◆FIFA World Cup 2026 as a Contamination-Free Benchmark for LLM Forecasting Agents: Four Models, a Bookmaker, and 104 Matches42m◆Measuring Monosemanticity in Sparse Autoencoders via Latent Activation Coherence42m◆Persona-as-Configuration: Generative Stakeholder Reporting for Agricultural Floods42m◆CDIS: Cross-Dimensional Class-Agnostic 3D Instance Segmentation via 2D Mask Tracking and 3D-2D Projection Merging42m◆ETAS: An Effect-Typed Language for Agent Systems42m◆BrainNext: A General-Purpose Self-Supervised Foundation Model for Brain MRI Analysis42m◆Feature Attribution-Based Explainability Analysis of Deep Learning Models in Predictive Process Monitoring42m◆Reasoning as a Double-Edged Sword: Architecture and Cross-Stage Robustness in Vision-Language-Action Models42m◆Medical Imaging Fusing Vision Transformer: Laryngeal Cancer Screening with Explanation42m◆ReViV: Reconstructing the Viewer and the View in 4D from Monocular Egocentric Video42m◆Vis2Reg: Visibility-Aware Landmark-Free Geometric 3D--2D Registration for Liver Laparoscopy42m◆Integrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications42m◆Lifelong Multi-Subsystem Pickup and Delivery with Buffer-Limited Handover Stations42m◆MXSens: Sensitivity-Aware Mixed-Precision Quantization for Efficient LLM Inference42m◆Mobile Network Control with a World Model42m◆DA-Fusion: Deformable Attention-Based RGB-D Fusion Transformer for Unseen Object Instance Segmentation42m◆Seg2Grasp: A Robust Modular Suction Grasping in Bin Picking42m◆Generalize and Guide: Decomposing Rewards for Few-Shot Inverse Reinforcement Learning42m◆Time-Frequency Consistency Learning for Robust Speech Deepfake Detection42m◆Autonomous Discovery of Wireless Communications Algorithms42m◆FIFA World Cup 2026 as a Contamination-Free Benchmark for LLM Forecasting Agents: Four Models, a Bookmaker, and 104 Matches42m◆Measuring Monosemanticity in Sparse Autoencoders via Latent Activation Coherence42m◆Persona-as-Configuration: Generative Stakeholder Reporting for Agricultural Floods42m◆CDIS: Cross-Dimensional Class-Agnostic 3D Instance Segmentation via 2D Mask Tracking and 3D-2D Projection Merging42m◆ETAS: An Effect-Typed Language for Agent Systems42m◆BrainNext: A General-Purpose Self-Supervised Foundation Model for Brain MRI Analysis42m◆Feature Attribution-Based Explainability Analysis of Deep Learning Models in Predictive Process Monitoring42m◆Reasoning as a Double-Edged Sword: Architecture and Cross-Stage Robustness in Vision-Language-Action Models42m◆Medical Imaging Fusing Vision Transformer: Laryngeal Cancer Screening with Explanation42m◆ReViV: Reconstructing the Viewer and the View in 4D from Monocular Egocentric Video42m◆Vis2Reg: Visibility-Aware Landmark-Free Geometric 3D--2D Registration for Liver Laparoscopy42m◆
News/From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems
arxiv
PublishedJuly 20, 2026 at 4:00 AM
—neutral

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems

Source
arxiv.orgfull article ↗
Read on arxiv→
Publisher summary· verbatim

arXiv:2607.15459v1 Announce Type: new Abstract: A trained deep reinforcement learning policy is a black box, and we ask whether it can be made explainable by rewriting it as an executable logic program that reproduces its behaviour and that a person can read, a logic engine can run, and an optimizer

Stay posted· Newsletter

A 5-min weekly brief — top movers, price watch, story of the week.

// no spam · unsubscribe one-click · free forever

Discussion
Source
↗
arxiv
Read original ↗All from arxiv →

No replies yet. Be first.

Source
↗
arxiv
Read original ↗All from arxiv →

Related coverage

More from ARXIV
arxivIntegrating High-Level Requirements to Low-Level Tests with Machine-Readable V&V Specifications42marxivLifelong Multi-Subsystem Pickup and Delivery with Buffer-Limited Handover Stations42marxivMXSens: Sensitivity-Aware Mixed-Precision Quantization for Efficient LLM Inference42marxivMobile Network Control with a World Model42m
The Bubble Brief
WEEKLY

Read AI insights every Tuesday — top movers, new releases, story of the week.

// no spam · unsubscribe one-click · free forever

Originally published on arxiv ↗
HomeModelsNews