./run_single.sh $BENCH_NAME $LOG_DIR_NAME

# train a meta-learner (trained model will be saved under the directory 'benchmarks')
./run_meta.sh
# test the trained meta-learner
./run_test.sh

@inproceedings{si2019metal,
    author    = {Si, Xujie and Yang, Yuan and Dai, Hanjun and Naik, Mayur and Song, Le},
    title     = {Learning a Meta-Solver for Syntax-Guided Program Synthesis},
    year      = {2019},
    booktitle = {Proceedings of the International Conference on Learning Representations (ICLR)},
}