spike-imperial Goto Github PK

asg

Answer Set Grammar Solver

deeplogic

DeepLogic: Towards End-to-End Differentiable Logical Reasoning

embed2sym

A neuro-symbolic reasoning system that can scale to a large number of raw inputs.

fastlas

fd-learn

Fast Downward fork with learning heuristics

ffnsl

Code and Data for the paper "FFNSL: Feed-Forward Neural-Symbolic Learner"

gym-subgoal-automata

Environments from the papers "Using Reward Machines for High-Level Task Specification and Decomposition in Reinforcement Learning" and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" using OpenAI Gym API.

hrm-formalism-envs

Hierarchy formalism and environments in the paper "Hierarchies of Reward Machines" (ICML-23).

hrm-learning

Policy and hierarchy learning algorithms in the paper "Hierarchies of Reward Machines" (ICML-23).

hrm-minigrid

Modification of the MiniGrid environment described in the paper "Hierarchies of Reward Machines" (ICML-23).

iks

Parallel Approximate SOlver for the Credal Semantics

induction-subgoal-automata-rl

Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).

neural-dnf-cub

Neuro-symbolic Rule learning from CUB-200-2011 and subsets with neural DNF based models

neural-dnf-tmc

Neuro-symbolic Rule learning from TMC2007-500 and subsets with neural DNF models

nsil

Code and technical appendix for the paper "Neuro-Symbolic Learning of Answer Set Programs from Raw Data".

pix2rule

From pixels to symbolic rule learning

simple-nn

A simple neural network regressor.

site

Spike Webpage

softuni

Learning Invariants through Soft Unification