Skip to content

@spike-imperial SPIKE Research Group @ Imperial College London

Change the repository type filter

All

    Repositories list

    23 repositories

    • site

      Public
      Spike Webpage
      SCSS
      •2•0•0•0•Updated Feb 13, 2025Feb 13, 2025

    • FastLAS

      Public
      Lasso
      •
      MIT License
      •9•19•1•0•Updated Feb 10, 2025Feb 10, 2025

    • neural-dnf-mt-policy-learning

      Public
      Code for "Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies"
      Python
      •
      MIT License
      •1•0•0•0•Updated Jan 31, 2025Jan 31, 2025

    • corridor-grid

      Public
      Custom RL environments for "Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies"
      Python
      •
      MIT License
      •1•0•0•0•Updated Jan 8, 2025Jan 8, 2025

    • neural-dnf

      Public
      A collection of Neural DNF-based models based on semi-symbolic layers
      Python
      •
      MIT License
      •1•0•0•0•Updated Jan 8, 2025Jan 8, 2025

    • Prob-IRM

      Public
      Jupyter Notebook
      •
      MIT License
      •2•0•0•0•Updated Aug 6, 2024Aug 6, 2024

    • induction-subgoal-automata-rl

      Public
      Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).
      Python
      •
      MIT License
      •7•0•0•0•Updated Aug 15, 2023Aug 15, 2023

    • NSIL

      Public
      Code and technical appendix for the paper "Neuro-Symbolic Learning of Answer Set Programs from Raw Data".
      Jupyter Notebook
      •
      MIT License
      •3•0•0•0•Updated Jul 20, 2023Jul 20, 2023

    • hrm-learning

      Public
      Policy and hierarchy learning algorithms in the paper "Hierarchies of Reward Machines" (ICML-23).
      Python
      •
      MIT License
      •2•0•0•0•Updated Jul 11, 2023Jul 11, 2023

    • hrm-minigrid

      Public
      Modification of the MiniGrid environment described in the paper "Hierarchies of Reward Machines" (ICML-23).
      Python
      •
      Apache License 2.0
      •617•0•0•0•Updated Jun 12, 2023Jun 12, 2023

    • hrm-formalism-envs

      Public
      Hierarchy formalism and environments in the paper "Hierarchies of Reward Machines" (ICML-23).
      Python
      •
      MIT License
      •2•0•0•0•Updated Jun 4, 2023Jun 4, 2023

    • neural-dnf-tmc

      Public
      Neuro-symbolic Rule learning from TMC2007-500 and subsets with neural DNF models
      Python
      •
      MIT License
      •1•0•0•0•Updated Mar 2, 2023Mar 2, 2023

    • neural-dnf-cub

      Public
      Neuro-symbolic Rule learning from CUB-200-2011 and subsets with neural DNF based models
      Jupyter Notebook
      •
      MIT License
      •1•0•0•0•Updated Mar 2, 2023Mar 2, 2023

    • gym-subgoal-automata

      Public
      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.
      Python
      •10•0•0•0•Updated Dec 24, 2022Dec 24, 2022

    • IKS

      Public
      Parallel Approximate SOlver for the Credal Semantics
      C++
      •
      Other
      •1•0•0•0•Updated May 23, 2022May 23, 2022

    • Embed2Sym

      Public
      A neuro-symbolic reasoning system that can scale to a large number of raw inputs.
      Python
      •2•0•0•0•Updated May 7, 2022May 7, 2022

    • FFNSL

      Public
      Code and Data for the paper "FFNSL: Feed-Forward Neural-Symbolic Learner"
      Jupyter Notebook
      •
      MIT License
      •2•0•0•0•Updated Feb 4, 2022Feb 4, 2022

    • fd-learn

      Public
      Fast Downward fork with learning heuristics
      Python
      •1•0•0•0•Updated Dec 31, 2021Dec 31, 2021

    • pix2rule

      Public
      From pixels to symbolic rule learning
      Jupyter Notebook
      •
      MIT License
      •3•0•0•0•Updated Nov 12, 2021Nov 12, 2021

    • ASG

      Public
      Answer Set Grammar Solver
      0•0•0•0•Updated Jan 10, 2021Jan 10, 2021

    • softuni

      Public
      Learning Invariants through Soft Unification
      Jupyter Notebook
      •
      Apache License 2.0
      •2•0•0•0•Updated Oct 17, 2020Oct 17, 2020

    • simple-nn

      Public
      A simple neural network regressor.
      C++
      •
      MIT License
      •1•0•0•0•Updated Jul 19, 2020Jul 19, 2020

    • deeplogic

      Public
      DeepLogic: Towards End-to-End Differentiable Logical Reasoning
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •7•0•0•0•Updated Jul 7, 2020Jul 7, 2020