eglassman/program-synthesis-distill

Distill exposition article

Notes

Implementation

• Relevant libraries
  • PEG.js, a parser generator for JavaScript
• Relevant implementations
  • Version space algebra
    • Haskell
      • Help with Haskell
    • Java
    • C# using PROSE

Related work

(Mostly) Humans

• Lake on Scholar, also Lake @ NYU
  • Human-level concept learning through probabilistic program induction
    • News article with Lake's video explanation
  • Searching large hypothesis spaces by asking questions
  • Building Machines That Learn and Think Like People
• More insight into human learners' generalizations from examples
  • Converging on a new role for analogy in problem solving and retrieval: When two problems are better than one
  • Surface vs. structural features
  • Minimal pairs in linguistics
  • Learn You a Haskell for Great Good
    • "There are quite a few tutorials on Haskell floating around on the internet. When I was starting out in Haskell, I didn't learn from just one resource. The way I learned it was by reading several different tutorials and articles because each explained something in a different way than the other did. By going through several resources, I was able put together the pieces and it all just came falling into place."
• More human induction
  • Using Causal Induction in Humans to Learn and Infer Causality from Video

Machines

• Version space algebras
  • original paper: Programming by Demonstration using Version Space Algebra
  • a curated list of relevant papers
  • a possibly straight-forward explanation