XLOG：用于神经符号集成的 CUDA 原生引擎

英文标题：XLOG: A CUDA-Native Engine for Neurosymbolic Integration

论文提出 xlog，一款 CUDA 原生逻辑编程引擎，旨在将神经感知与符号推理集成到统一系统中。该系统通过类型化前端和由提供方管理的 CUDA 运行时，支持确定性 Datalog、概率推理以及认知世界观等推理模式。不同推理模式共享设备端数据，有望降低神经符号工作负载中的数据传输与集成开销。对开发者而言，xlog 为在 GPU 上构建结合机器学习感知与逻辑推理能力的 Agent 及相关应用提供了新的基础设施选择。

2.1 KB 640 B 612 B 380 B 9.1 KB 32.7 KB 22.8 KB 24.2 KB 34.7 KB