Skip to content

metareflection/synthesis-scheme

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

89 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Scheme Synthesis in Scheme

  • eval.scm: evaluator
  • bottomup.scm: bottom-up synthesizer
  • dan.scm: synthesizer for recursive functions in the style taught by Dan Friedman
  • topdown.scm: a top-down synthesizer based on scoring partial programs using Monte Carlo Tree Search (MCTS)
  • topdown-without-mcts.scm: the delta of a top-down synthesizer that does not use MCTS but A*
  • mcmc.scm: a stand-alone experiment with Monte Carlo Markov Chain (MCMC) synthesis