Katsumi Inoue

Visual Perceptual to Conceptual First-Order Rule Learning Networks

Fully Differentiable Temporal FO Rule Learning

Graph Recurrent Attention Networks for Solving Satisfiability Problems

Graph-Based Attention for Differentiable MaxSAT Solving

T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints

Differentiable Rule Induction from Raw Sequence Inputs

Transformers Use Causal World Models in Maze-Solving Tasks