🦉 A grounder and solver for logic programs.

Multiple datasets for ARC (Abstraction and Reasoning Corpus)

Testing baseline LLMs performance across various models

Implementation of SOAR

An MDL-based approach to the Abstraction and Reasoning Corpus (ARC) challenge

Bootstrapping ARC

Domain Specific Language for the Abstraction and Reasoning Corpus

Code for the paper "Evaluating Large Language Models Trained on Code"

Generate audiobooks from e-books

High-Performance Symbolic Regression in Python and Julia

An evolutionary source-code fuzzer

DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of input and output, DeepSynth finds a program matching the exa…

Abstract Reasoning with Graph Abstractions (ARGA) implementation

Tool for learning linear temporal logic formulas using combinatorial approach

Materials for ConceptARC paper

The glucose SAT solver

Python interface for SWI-Prolog

A benchmark set of functions over lists of natural numbers

Julia wrapper around SWI Prolog

My public programs and models - mostly combinatorial problems and puzzles

PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.

A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.

Experimentation framework for Popper