Skip to content
@spike-imperial

SPIKE Research Group @ Imperial College London

Structured and Probabilistic Intelligent Knowledge Engineering

Pinned Loading

  1. FastLAS FastLAS Public

    Lasso 20 8

  2. NSIL NSIL Public

    Forked from DanCunnington/NSIL

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

    Jupyter Notebook

  3. pix2rule pix2rule Public

    Forked from nuric/pix2rule

    From pixels to symbolic rule learning

    Jupyter Notebook

  4. neural-dnf-cub neural-dnf-cub Public

    Forked from kittykg/neural-dnf-cub

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

    Jupyter Notebook

  5. Embed2Sym Embed2Sym Public

    Forked from YanivAspis/Embed2Sym

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

    Python

  6. IKS IKS Public

    Forked from David-Tuc/IKS

    Parallel Approximate SOlver for the Credal Semantics

    C++

Repositories

Showing 10 of 20 repositories
  • site Public

    Spike Webpage

    spike-imperial/site’s past year of commit activity
    SCSS 0 2 0 0 Updated Oct 25, 2024
  • Prob-IRM Public Forked from rparac/Prob-IRM
    spike-imperial/Prob-IRM’s past year of commit activity
    Jupyter Notebook 0 MIT 2 0 0 Updated Aug 6, 2024
  • FastLAS Public
    spike-imperial/FastLAS’s past year of commit activity
    Lasso 20 MIT 8 1 0 Updated Jan 3, 2024
  • induction-subgoal-automata-rl Public Forked from ertsiger/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).

    spike-imperial/induction-subgoal-automata-rl’s past year of commit activity
    Python 0 MIT 7 0 0 Updated Aug 15, 2023
  • NSIL Public Forked from DanCunnington/NSIL

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

    spike-imperial/NSIL’s past year of commit activity
    Jupyter Notebook 0 MIT 3 0 0 Updated Jul 20, 2023
  • hrm-learning Public Forked from ertsiger/hrm-learning

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

    spike-imperial/hrm-learning’s past year of commit activity
    Python 0 MIT 2 0 0 Updated Jul 11, 2023
  • hrm-minigrid Public Forked from ertsiger/hrm-minigrid

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

    spike-imperial/hrm-minigrid’s past year of commit activity
    Python 0 Apache-2.0 618 0 0 Updated Jun 12, 2023
  • hrm-formalism-envs Public Forked from ertsiger/hrm-formalism-envs

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

    spike-imperial/hrm-formalism-envs’s past year of commit activity
    Python 0 MIT 2 0 0 Updated Jun 4, 2023
  • neural-dnf-tmc Public Forked from kittykg/neural-dnf-tmc

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

    spike-imperial/neural-dnf-tmc’s past year of commit activity
    Python 0 MIT 1 0 0 Updated Mar 2, 2023
  • neural-dnf-cub Public Forked from kittykg/neural-dnf-cub

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

    spike-imperial/neural-dnf-cub’s past year of commit activity
    Jupyter Notebook 0 MIT 1 0 0 Updated Mar 2, 2023

Top languages

Loading…

Most used topics

Loading…