Skip to content
/ laps_dreamcoder Public

Library implementation of DreamCoder as adapted for LAPS.

10 stars 3 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

CatherineWong/laps_dreamcoder

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
data
data
 
 
deprecated
deprecated
 
 
domains
domains
 
 
solvers
solvers
 
 
.gitignore
.gitignore
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
__init__.py
__init__.py
 
 
compression.py
compression.py
 
 
differentiation.py
differentiation.py
 
 
dreamcoder.py
dreamcoder.py
 
 
dreaming.py
dreaming.py
 
 
ec.py
ec.py
 
 
enumeration.py
enumeration.py
 
 
fragmentGrammar.py
fragmentGrammar.py
 
 
fragmentUtilities.py
fragmentUtilities.py
 
 
frontier.py
frontier.py
 
 
grammar.py
grammar.py
 
 
languageUtilities.py
languageUtilities.py
 
 
likelihoodModel.py
likelihoodModel.py
 
 
parser.py
parser.py
 
 
primitiveGraph.py
primitiveGraph.py
 
 
program.py
program.py
 
 
recognition.py
recognition.py
 
 
task.py
task.py
 
 
taskBatcher.py
taskBatcher.py
 
 
translation.py
translation.py
 
 
type.py
type.py
 
 
utilities.py
utilities.py
 
 
vs.py
vs.py
 
 

Repository files navigation

LAPS-DreamCoder library

An importable library module containing program synthesis utilities and data structures. Initially developed for LAPS (Wong et. al 2021). using the DreamCoder program synthesis library from (Ellis et. al 2021). The original repository is derived from the icml_2021_supplement release of the EC repo.

USAGE: this submodule needs to be in a directory called dreamcoder in order to preserve import structure.

Building the Ocaml binaries.

We use the updated, OCaml-locked installation at: https://github.com/mlb2251/dreamcoder. To build the Ocaml binaries from scratch, you can follow Build the OCaml binaries.

About

Library implementation of DreamCoder as adapted for LAPS.

Resources

Readme
Activity

Stars

10 stars

Watchers

5 watching

Forks

3 forks
Report repository

Releases

No releases published

Packages

 
 
 

Languages