Vvalejandro/dspy-lean-prover-hint-clipping

🔍 Enhance iterative theorem proving with DSPy by comparing full oracle vs. clipped hints using a mock Lean verifier in this streamlined setup.

Language: Python - Size: 1.33 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0

ElfER020/DeepCode

🔍 Improve code quality with DeepCode, an AI-powered tool that identifies bugs and suggests fixes in real-time to enhance software development efficiency.

Language: Python - Size: 3.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

AhanafTheWebician/arc

🚀 Deliver high-performance time-series data storage with Arc Core, built on DuckDB and Parquet for flexible, efficient data management.

Language: Python - Size: 2.5 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

fchollet/ARC-AGI

The Abstraction and Reasoning Corpus

Language: JavaScript - Size: 441 KB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 4,615 - Forks: 697

google/ARC-GEN

A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus

Language: Python - Size: 24.6 MB - Last synced at: 6 days ago - Pushed at: 12 days ago - Stars: 31 - Forks: 4

bigcode-project/bigcodebench

[ICLR'25] BigCodeBench: Benchmarking Code Generation Towards AGI

Language: Python - Size: 6.52 MB - Last synced at: 9 days ago - Pushed at: about 1 month ago - Stars: 443 - Forks: 57

SimonOuellette35/AmotizedDSL

Instruction step-based, amotized DSL that allows referring to the output of previous steps

Language: Python - Size: 207 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0

GrammaTech/sel

Programmatic modification and evaluation of software

Language: Common Lisp - Size: 21.5 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 195 - Forks: 24

alcides/GeneticEngine

Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses

Language: Python - Size: 54.6 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 48 - Forks: 12

chasenorman/CanonicalLean

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

Language: Lean - Size: 8.16 MB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 89 - Forks: 8

microsoft/prose

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.

Language: C# - Size: 84.6 MB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 650 - Forks: 101

justinlubin/honeybee

Programming by Navigation with Honeybee!

Language: Rust - Size: 6.22 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 11 - Forks: 0

adaminsky/pips

[NeurIPS 2025] PIPS: Per-Instance Program Synthesis

Language: JavaScript - Size: 705 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 0

sanctuuary/APE

Tool for automated generation of computational workflows.

Language: Java - Size: 62.1 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 18 - Forks: 9

praveenkulkarni1996/awesome-program-synthesis

An curated list of papers on program synthesis.

Size: 15.6 KB - Last synced at: 14 days ago - Pushed at: over 6 years ago - Stars: 70 - Forks: 3

mj33rice/Sim-CoPilot

SimCoPilot is a benchmark for evaluating LLMs to perform as a "copilot"-style, interactive coding assistant, testing their ability to add and complete code in complex real-world software environments.

Language: Python - Size: 109 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 3 - Forks: 0

microsoft/rat-sql

A relation-aware semantic parsing model from English to SQL

Language: Python - Size: 110 KB - Last synced at: 27 days ago - Pushed at: about 2 years ago - Stars: 441 - Forks: 121

gia-uh/autogoal

A Python framework for program synthesis with a focus on Automated Machine Learning.

Language: Python - Size: 12.5 MB - Last synced at: 9 days ago - Pushed at: 6 months ago - Stars: 213 - Forks: 66

microsoft/multilspy

multilspy is a lsp client library in Python intended to be used to build applications around language servers.

Language: Python - Size: 263 KB - Last synced at: 27 days ago - Pushed at: 2 months ago - Stars: 459 - Forks: 81

ku-progsys/rbsyn

Program synthesis for Ruby

Language: Ruby - Size: 1.26 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 96 - Forks: 7

yjl9903/FlashFill

A Rust implementation of Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11.

Language: Rust - Size: 7.94 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 11 - Forks: 2

microsoft/monitors4codegen

Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.

Language: Python - Size: 6.18 MB - Last synced at: 27 days ago - Pushed at: over 1 year ago - Stars: 275 - Forks: 32

chasenorman/Canonical

Canonical is a performant sound and complete type inhabitation solver for dependent type theory.

Language: Lean - Size: 239 KB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 73 - Forks: 5

microsoft/PythonProgrammingPuzzles

A Dataset of Python Challenges for AI Research

Language: Python - Size: 242 MB - Last synced at: 27 days ago - Pushed at: over 1 year ago - Stars: 990 - Forks: 98

evalops/dspy-lean-prover-hint-clipping

DSPy + Lean (mock) iterative prover with hint clipping; sweeps on clipping vs KL, noise, sparsity; scalable dataset generator; curated training; frozen tools.

Language: Python - Size: 48.8 KB - Last synced at: 20 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

logic-and-learning-lab/Popper

An inductive logic programming system

Language: Python - Size: 21 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 236 - Forks: 44

evalplus/evalplus

Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

Language: Python - Size: 5.3 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 1,592 - Forks: 177

Zeta611/redemon-ui

🧙‍♀️ Reactive Synthesis by Demonstration for UI

Language: TypeScript - Size: 1010 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 6 - Forks: 1

Inventitech/strans

Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.

Language: Roff - Size: 824 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 550 - Forks: 17

machine-programming/assignment-1

Machine Programming - Assignment 1: Inductive Synthesis

Language: Python - Size: 217 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 1

gussmith23/lakeroad

FPGA synthesis tool powered by program synthesis

Language: Racket - Size: 4.66 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 52 - Forks: 10

fuzz4all/fuzz4all

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

Language: Python - Size: 9.84 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 279 - Forks: 46

ravichugh/sketch-n-sketch

Direct Manipulation Programming for HTML/SVG

Language: Elm - Size: 126 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 561 - Forks: 32

ghost5634343/DeepCode

🧠 Enhance code quality with DeepCode, an AI-powered tool that reviews and improves your code for better performance and security.

Language: Python - Size: 2.35 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

ise-uiuc/Repilot

Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair"

Language: Python - Size: 958 KB - Last synced at: 2 months ago - Pushed at: about 2 years ago - Stars: 133 - Forks: 12

UChicago-PL/smyth

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

Language: OCaml - Size: 10.7 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 55 - Forks: 5

jfeser/L2

λ² is a tool for synthesizing functional programs from input-output examples.

Language: OCaml - Size: 7.15 MB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 70 - Forks: 7

lelis-research/Common-Benchmarks-Undervalue-the-Generalization-Power-of-Programmatic-Policies

Code for Common Benchmarks Undervalue the Generalization Power of Programmatic Policies

Language: HTML - Size: 52.9 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

deep-symbolic-mathematics/LLM-SR

[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models

Language: Python - Size: 8.79 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 152 - Forks: 24

ConfeitoHS/arcle

A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)

Language: Python - Size: 3.49 MB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 68 - Forks: 9

SynthesisLab/grape

GRAmmar for Program synthEsis (GRAPE)

Language: Python - Size: 178 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1

primaryobjects/AI-Programmer

Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149

Language: C# - Size: 6.48 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1,095 - Forks: 265

SynthesisLab/DeepSynth2

General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

Language: Python - Size: 222 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 19 - Forks: 5

khodoba/Code-in-Paper-Guide

Learn how to insert code into your LaTeX papers using the hyperref package. Enhance your documents with clear links and references. 🌟💻

Size: 19.5 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

justinlubin/cobbler

Refactor programs to use library functions

Language: OCaml - Size: 34.1 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

spencerwuwu/WildSync

WildSync: Automated Fuzzing Harness Synthesis via Wild API Usage Recovery

Language: Python - Size: 776 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

damianomarsili/VADAR

Program synthesis for 3D spatial reasoning

Language: Jupyter Notebook - Size: 6.19 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 36 - Forks: 2

default01234/COOL-DSL

COOL (Chain-Oriented Objective Logic) - Advanced DSL programming system

Language: C++ - Size: 123 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 0

simpl-group/ManiRender-artifact-evaluation

Language: Jupyter Notebook - Size: 792 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

SimonOuellette35/GridCoder2024

Code for my ARC Prize 2024 submission

Language: Python - Size: 222 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

frankaging/BabyARC

Baby Abstract Reasoning Corpus (BabyARC) dataset engine, for generating grid-world-based abstract reasoning tasks on a large scale.

Language: Python - Size: 2.85 MB - Last synced at: 6 months ago - Pushed at: almost 4 years ago - Stars: 7 - Forks: 1

nju-websoft/PairCoder

A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement, ASE 2024 (Distinguished Paper Award)

Language: Python - Size: 22.2 MB - Last synced at: 5 months ago - Pushed at: 12 months ago - Stars: 113 - Forks: 10

hendrycks/apps

APPS: Automated Programming Progress Standard (NeurIPS 2021)

Language: Python - Size: 43.9 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 462 - Forks: 61

Wilfred/suggest.el

discover elisp functions that do what you want

Language: Emacs Lisp - Size: 171 KB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 370 - Forks: 14

aig-upf/automated-programming-framework

Automated Programming Framework

Language: Shell - Size: 123 MB - Last synced at: 24 days ago - Pushed at: over 5 years ago - Stars: 15 - Forks: 2

raeidsaqur/mgn

Multimodal Graph Network (MGN): Code repo, examples from the paper

Language: Python - Size: 1.36 MB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 25 - Forks: 4

SynthesisLab/wikicoder

Synthesis of string manipulation programs from examples with outside knowledge!

Language: Python - Size: 742 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 3 - Forks: 0

umass-ml4ed/tiktoc

Official repo for "Test Case-Informed Knowledge Tracing for Open-ended Coding Tasks" (LAK2025)

Language: Python - Size: 130 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 1

google-research/plur 📦

PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. We provide scripts for downloading, processing, and loading the datasets. This is done by offering a unified API and data structures for all datasets.

Language: Python - Size: 183 KB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 88 - Forks: 17

metagol/metagol 📦

Metagol - an inductive logic programming system

Language: Prolog - Size: 213 KB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 201 - Forks: 27

nearai/program_synthesis

Program Synthesis

Language: Jupyter Notebook - Size: 838 KB - Last synced at: 3 days ago - Pushed at: over 4 years ago - Stars: 145 - Forks: 28

volotat/GAS

Generative Art Synthesizer - a python program that generates python programs that generates generative art

Language: Python - Size: 45.7 MB - Last synced at: 6 months ago - Pushed at: almost 4 years ago - Stars: 56 - Forks: 6

zaxtax/bustle

Bustle: Botton-up Program Synthesis Through Learning-Guided Exploration

Language: Python - Size: 300 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 0

Cap-Ning/PPM

Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models

Language: C - Size: 1.4 MB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

akothen/Hydride

A retargetable and extensible synthesis-based compiler for modern hardware architectures

Language: LLVM - Size: 391 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 10 - Forks: 1

rbavishi/atlas

A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)

Language: Python - Size: 1.53 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 21 - Forks: 7

manleyalex/pyfilament

Recreation of the Filament HDL for our EECS 700: Intro to Program Synthesis course.

Language: Python - Size: 39.8 MB - Last synced at: 16 days ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

Demfier/PsyNLP

Python module with Program Synthesis Techniques for NLP

Language: Python - Size: 5.65 MB - Last synced at: 3 months ago - Pushed at: over 7 years ago - Stars: 10 - Forks: 2

ngsankha/eecs700

EECS 700: Intro to Program Synthesis

Language: SCSS - Size: 45.1 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

jhawkreynolds/blacksmyth

Extension to Smyth (https://github.com/UChicago-PL/smyth) that aims to add resynthesis for files with missing functions.

Language: OCaml - Size: 10.7 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

CozySynthesizer/cozy

The collection synthesizer

Language: Python - Size: 3.35 MB - Last synced at: 11 months ago - Pushed at: about 5 years ago - Stars: 210 - Forks: 18

mj33rice/SimCoPilot

SimCoPilot is a benchmark for evaluating LLMs to perform as a "copilot"-style, interactive coding assistant, testing their ability to add and complete code in complex real-world software environments.

Language: Python - Size: 141 MB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

datvo06/VRDSynth

Synthesizing programs to link visually-rich document entities. This is the replication code for VRDSynth paper, accepted in ISSTA'24

Language: Python - Size: 3.19 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

TyGuS/hoogle_plus

Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)

Language: Haskell - Size: 122 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 60 - Forks: 8

crazydonkey200/neural-symbolic-machines

Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.

Language: Python - Size: 53.5 MB - Last synced at: 12 months ago - Pushed at: almost 3 years ago - Stars: 378 - Forks: 69

evo-eval/evoeval

EvoEval: Evolving Coding Benchmarks via LLM

Language: Python - Size: 17.5 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 60 - Forks: 5

aig-upf/pgp-landmarks

Progressive Generalized Planning with Landmarks

Language: C++ - Size: 84 KB - Last synced at: 24 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1

rsinghal757/babyARC

BabyARC is a tiny abstraction and reasoning dataset inspired by the original Abstraction and Reasoning Corpus by Francois Chollet.

Language: Jupyter Notebook - Size: 544 KB - Last synced at: 8 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

volotat/ARC-Game

The Abstraction and Reasoning Corpus made into a web game

Language: JavaScript - Size: 8.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 82 - Forks: 5

jsego/bfgp-pp

A framework based on Best-First Generalized Planning where solutions are either assembly-like programs, or structured programs that are syntactically terminating.

Language: PDDL - Size: 58.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 3

ayushnoori/program-synthesis

Bottom-up enumerative program synthesis for CS252R at Harvard.

Language: Python - Size: 43.9 KB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Mondego/dafny-synthesis

Towards AI-Assisted Synthesis of Verified Dafny Methods

Language: Dafny - Size: 778 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 26 - Forks: 0

killthebuddh4/gadfly

A system 2 compiler for language models.

Language: TypeScript - Size: 1.65 MB - Last synced at: 20 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

shaohua0116/demo2program

An official TensorFlow implementation of "Neural Program Synthesis from Diverse Demonstration Videos" (ICML 2018) by Shao-Hua Sun, Hyeonwoo Noh, Sriram Somasundaram, and Joseph J. Lim

Language: Python - Size: 16.2 MB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 102 - Forks: 24

msv-lab/f1x

Efficient patch generation engine for C/C++ programs

Language: C++ - Size: 798 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 16 - Forks: 3

aixcoder-plugin/nl2code-dataset

Aix-bench, the Java benchmark for code synthesis problem.

Language: Java - Size: 7.05 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 51 - Forks: 1

ezelikman/parsel

Code for Parsel 🐍 - generate complex programs with language models

Language: Python - Size: 170 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 377 - Forks: 32

evoasm/evoasm.rb

An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine

Language: Ruby - Size: 5.61 MB - Last synced at: 8 months ago - Pushed at: almost 7 years ago - Stars: 92 - Forks: 13

lelis-research/aulile

Synthesizing Libraries of Programs with Auxiliary Functions

Language: Jupyter Notebook - Size: 81.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

habibrahmanbd/program-synthesis.habibrahman.me

Open Source Book for Program Synthesis in Bengali Language

Size: 1.07 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

xionluhnis/neural_inverse_knitting

Code for Neural Inverse Knitting: From Images to Manufacturing Instructions

Language: Python - Size: 3.36 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 44 - Forks: 11

nerdimite/neuro-symbolic-ai-soc

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

Language: Jupyter Notebook - Size: 8.99 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 52 - Forks: 13

jabhinav/Reinforcement-Learning-for-Program-Synthesis

Language: Python - Size: 726 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

iclr-dummy-user/SwissNYF

Code Base for Multi-Tool Usage for black box api access

Language: Jupyter Notebook - Size: 4.46 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

celinehocquette/numsynth-aaai23

C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.

Language: Prolog - Size: 85.5 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 0

HiroakiMikami/mlprogram

PyTorch library for synthesizing programs from natural language

Language: Python - Size: 9.03 MB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 3

pauljblazek/deepdistilling

Mechanistically interpretable neural networks losslessly compressed to computer code, discovering new algorithms that generalize out-of-distribution and outperform human-designed algorithms

Language: Python - Size: 1.35 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 0

celinehocquette/aaai24-maxsynth

C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.

Language: Prolog - Size: 172 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

ld-ing/plexicase

Probabilistic Lexicase Selection, GECCO 2023

Language: Python - Size: 304 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

ijc8/blocks

Language: TypeScript - Size: 2.36 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0