zhenghf1993的专栏

[NIPS2018]Library Learning for Neurally-Guided Bayesian Program Induction1. 摘要2. 问题定义3. 方法介绍3.1. 分层贝叶斯框架作者：Kevin Ellis，Lucas Morales，Mathias Sablé-Meyer，Armando Solar-Lezama，Joshua B. Tenenbaum。（MIT）...

The Sketch Programmers Manual原作者：Armando Solar-Lezama对于一段包含未知量的代码或者函数，当存在一些限制条件时，可以通过推理求出未知量。Sketch即是此种求解工具。它有自己的语法，但可以将补全后的程序按照C标准输出。1. Overview本章介绍了如何通过编译器来运行一个最简单的Sketch例子。1.1. Hello worldhar...

[ICLR2017] Deepcoder: Learning to write programs作者：Matej Balog, Alexander L.Gaunt, Marc Brockschmidt, Sebastian Nowozin, Daniel Tarlow任务描述IPS 归纳程序综合，给定含有多个输入输出对的集合，生成满足这些输入输出的最短的程序。主要思想用神经网络预测程序...