Skip to content
@spike-imperial

SPIKE Research Group @ Imperial College London

Structured and Probabilistic Intelligent Knowledge Engineering

Pinned Loading

  1. FastLAS FastLAS Public

    Lasso 26 11

  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 DvdTky/IKS

    Parallel Approximate SOlver for the Credal Semantics

    C++

Repositories

Showing 10 of 30 repositories
  • site Public

    Spike Webpage

    spike-imperial/site's past year of commit activity
    SCSS 0 3 0 0 Updated Aug 3, 2026
  • workshop-site Public
    spike-imperial/workshop-site's past year of commit activity
    Astro 0 0 0 0 Updated Mar 13, 2026
  • FastLAS Public
    spike-imperial/FastLAS's past year of commit activity
    Lasso 26 MIT 11 3 1 Updated Jan 27, 2026
  • atlas Public

    Code for the paper "Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs" (AAAI-26)

    spike-imperial/atlas's past year of commit activity
    Python 4 0 0 0 Updated Dec 29, 2025
  • omega-generalization Public Forked from pertcj/omega-generalization

    Neural Network Generalization to Omega-Regular Languages

    spike-imperial/omega-generalization's past year of commit activity
    Python 0 1 0 0 Updated Aug 26, 2025
  • disentangling-ndnf-classification Public Forked from kittykg/disentangling-ndnf-classification

    Code for "Disentangling Neural Disjunctive Normal Form Models" at NeSy 2025

    spike-imperial/disentangling-ndnf-classification's past year of commit activity
    Jupyter Notebook 0 1 0 0 Updated Jul 25, 2025
  • NICE2ASP Public
    spike-imperial/NICE2ASP's past year of commit activity
    Python 0 0 0 0 Updated Jul 7, 2025
  • form Public Forked from leoardon/form
    spike-imperial/form's past year of commit activity
    Python 0 MIT 1 0 0 Updated Feb 28, 2025
  • neural-dnf-mt-policy-learning Public Forked from kittykg/neural-dnf-mt-policy-learning

    Code for "Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies"

    spike-imperial/neural-dnf-mt-policy-learning's past year of commit activity
    Python 0 MIT 1 0 0 Updated Jan 31, 2025
  • corridor-grid Public Forked from kittykg/corridor-grid

    Custom RL environments for "Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies"

    spike-imperial/corridor-grid's past year of commit activity
    Python 0 MIT 1 0 0 Updated Jan 8, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…