Add DreamCoder benchmarks

Herb-AI / HerbBenchmarks.jl

Benchmarks and problems for Herb.jl

https://herb-ai.github.io/

MIT License

1 stars 0 forks source link

Open ReubenJ opened 8 months ago

ReubenJ commented 8 months ago

THinnerichs commented 7 months ago

branch add-dreamcoder is

not yet using _arg_1 as input vars
has data_large.jl in List_tasks which is over 100mb, once combined
still using old terminology from HerbData (deprecated) and should be updated to HerbSpecification (see #22 )

sebdumancic commented 5 months ago

DSL are described here: https://github.com/ellisk42/ec/tree/master/dreamcoder/domains. We should use these as a reference rather than trying to decipher it from the OCaml code