Procedural Concept Induction from Video Scene Graphs Neurosymbolic framework that induces procedural concepts as interpretable logical rules from egocentric cooking video. Automated Predicate Discovery for Relational RL Discovering relational symbolic abstractions from RL experience without hand-written domain knowledge. Hierarchical-AutoToS (HAToS) Extension of AutoToS to multi-agent planning through hierarchical code synthesis. Neurosymbolic Imitation Learning with Human Attention End-to-end neurosymbolic framework treating expert gaze as privileged information for imitation learning. Computational Logic Wordle Solver Automated Wordle solver using Answer Set Programming (Clingo).
