XLOG: A CUDA-Native Engine for Neurosymbolic Integration

arXiv:2609.27203 · cs.AI · Submitted 2026-09-23 · Read on arXiv

cs.AI

Submitted: 2026-09-23

Updated: 2026-09-23

Code: https://github.com/BrainyBlaze/xlog

Terminology

• Core — 27× in this paper · explained in 2 episodes
• Benchmark — 24× in this paper · explained in 2 episodes
• Provenance — 24× in this paper · explained in 3 episodes
• Ablation — 18× in this paper · explained in 1 episode
• Verification — 18× in this paper · explained in 2 episodes
• Accuracy — 17× in this paper · explained in 1 episode
• Aggregation — 15× in this paper · explained in 1 episode
• Arbiter — 7× in this paper · explained in 1 episode
• Embeddings — 5× in this paper · explained in 2 episodes
• Grounding — 5× in this paper · explained in 3 episodes
• Trace — 5× in this paper · explained in 2 episodes
• Adam — 4× in this paper · explained in 2 episodes
• Robustness — 4× in this paper · explained in 5 episodes
• Abstention — 3× in this paper · explained in 1 episode
• Alignment — 2× in this paper · explained in 1 episode
• Amortization — 2× in this paper · explained in 1 episode
• Generalization — 2× in this paper · explained in 13 episodes
• Analyzer — 1× in this paper · explained in 1 episode
• Consistency — 1× in this paper · explained in 3 episodes
• Gradient Flow — 1× in this paper · explained in 2 episodes
• Hypergraph — 1× in this paper · explained in 2 episodes
• International Conference on Machine Learning — 1× in this paper
• Introspection — 1× in this paper · explained in 2 episodes
• Loss Function — 1× in this paper · explained in 2 episodes
• SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems — 1× in this paper
• Verifiability — 1× in this paper · explained in 2 episodes
• alpha — 1× in this paper · explained in 1 episode

Sources

• Online Learning of Event Definitions
• Online Learning Probabilistic Event Calculus Theories in Answer Set Programming
• Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs
• Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
• Scaling Worst-Case Optimal Datalog to GPUs

Related papers

• MAVEN-T: Reinforced Heterogeneous Distillation for Real-Time Multi-Agent Trajectory Prediction
• Model Discovery Agent: LLM-assisted Bayesian experiment design for data-efficient discovery of mechanistic world models
• The Clinician's Veto: Navigating Trust, Liability, and Uncertainty in Autonomous AI Prescribing
• MindHelper: Closed-Loop Embodied Mental-State Reasoning for Precision Intervention
• Incumbent Advantage: Brand Bias and Cognitive Manipulation Dynamics in LLM Recommendation Systems
• VSAL: A Vision Solver with Adaptive Layouts for Graph Property Detection