Skip to content
View ConfeitoHS's full-sized avatar
  • GIST
  • Gwangju, Republic of Korea

Highlights

  • Pro

Block or report ConfeitoHS

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
Showing results

Bootstrapping ARC

Python 49 7 Updated Nov 8, 2024

Equivariant Steerable CNNs Library for Pytorch https://quva-lab.github.io/escnn/

Python 359 47 Updated Oct 31, 2024

Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"

Python 35 4 Updated Mar 9, 2024

Collection of Hyperdimensional Computing Projects

331 30 Updated Apr 9, 2022
Jupyter Notebook 4 Updated Sep 17, 2024

Abstract Reasoning with Graph Abstractions (ARGA) implementation

Python 58 10 Updated Jul 5, 2024

Progressive Generalized Planning with Landmarks

C++ 4 1 Updated May 8, 2022
C++ 19 3 Updated Apr 4, 2024

perfect programming language

11,460 365 Updated Nov 10, 2024

The CompCert formally-verified C compiler

Coq 1,885 228 Updated Oct 30, 2024

Android e-amusement pass emulator app using HCE-F and React Native

TypeScript 93 22 Updated Apr 4, 2023

A python toolkit for parsing captions (in natural language) into scene graphs (as symbolic representations).

Python 546 55 Updated Jan 23, 2024

PyTorch Implementation of the paper "Probabilistic Abduction for Visual Abstract Reasoning via Learning Rules in Vector-symbolic Architectures" published in the 3rd Workshop on Mathematical Reasoni…

Python 7 2 Updated Nov 14, 2023

PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature Machine Intelligence 2023.

Python 80 14 Updated Jun 8, 2023

Like ARC, but code to generate visual puzzles. 1D puzzles first.

Python 15 2 Updated Aug 17, 2024

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

Jupyter Notebook 8,119 1,128 Updated Nov 8, 2024

The history files when recording human interaction while solving ARC tasks

Python 94 8 Updated Nov 10, 2024

Compositional Differentiable Programming Library

Python 978 56 Updated Nov 11, 2024

Evaluation of neuro-symbolic engines

Python 33 Updated Aug 3, 2024

Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch

Jupyter Notebook 53 14 Updated Oct 28, 2021

PyTorch implementation for the Neuro-Symbolic Concept Learner (NS-CL).

Python 416 94 Updated Oct 24, 2020

Neural-symbolic visual question answering

Python 262 62 Updated Mar 27, 2023

Code for the paper "An Empirical Analysis of Forgetting in Pre-trained Models with Incremental Low-Rank Updates"

Jupyter Notebook 4 Updated Aug 23, 2024
Python 3 Updated Jul 27, 2024

Reverse Engineering the Abstraction and Reasoning Corpus

Jupyter Notebook 188 33 Updated Oct 7, 2024
Python 21 Updated Dec 7, 2023

An awesome & curated list for Artificial General Intelligence, an emerging inter-discipline field that combines artificial intelligence and computational cognitive sciences.

TeX 285 24 Updated Nov 11, 2024

Rewrite of Cold Clear

Rust 51 5 Updated Jun 29, 2022
Next