differentiable-logic

Differentiable modal logic for PyTorch: □ and ♢ as trainable layers over a Kripke structure, with sound interval bounds and a learnable accessibility relation. Oral @ NeSy 2026.

Connectome-constrained circuit synthesis: the fly giant-fiber escape reflex as exhaustively verified NAND/LATCH netlists

Reference implementation for "Bridging the Perceptual Gap: Rule-Grounded Representations for Tactical Reasoning in Multi-Sport Video Understanding." Neuro-symbolic architecture with predicate bottleneck, differentiable logic, and GRPO/RSA alignment for sports video infraction detection across basketball, soccer, and football.

Reproducibility archive and accuracy review for a 2025 undergraduate thesis on Differentiable Logic Gate Networks

Fully-trainable differentiable logic gate networks with learnable connections - reference implementation of arXiv:2607.09399

Differentiable deontic logic for legal-tech and compliance; trainable rules, obligations, permissions, and prohibitions

Tensor Logic as a StableHLO-emitting DSL for PJRT runtimes

LaTeX source for a 2025 University of Florida undergraduate thesis on Differentiable Logic Gate Networks

Neurosymbolic chain-of-thought verifier: differentiable fuzzy-logic consistency as a training signal for small language models