Skip to content
View kittykg's full-sized avatar

Highlights

  • Pro

Block or report kittykg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. neural-dnf neural-dnf Public

    A collection of Neural DNF-based models based on semi-symbolic layers

    Python 1 1

  2. disentangling-ndnf-classification disentangling-ndnf-classification Public

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

    Jupyter Notebook 1

  3. neural-dnf-mt-policy-learning neural-dnf-mt-policy-learning Public

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

    Python 3 1

  4. ADVOCadO ADVOCadO Public

    Solving ADVent Of COde https://adventofcode.com with mainly Prolog (RIOT WHEN 2D ARRAY COMES)

    Prolog 2

  5. pyvent-of-code pyvent-of-code Public

    Lazy me can't write Prolog fast enough

    Python

  6. ichack20-pet-drone/droneboy ichack20-pet-drone/droneboy Public

    Tamagucci. your favourite pet drone :)

    Python 1