- 博客(5)
- 资源 (3)
- 收藏
- 关注
RSS订阅原创 [NIPS2018]Library Learning for Neurally-Guided Bayesian Program Induction
[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）...
2019-10-15 19:40:32
266
原创 [ICLR2017] Deepcoder: Learning to write programs
[ICLR2017] Deepcoder: Learning to write programs作者：Matej Balog, Alexander L.Gaunt, Marc Brockschmidt, Sebastian Nowozin, Daniel Tarlow任务描述IPS 归纳程序综合，给定含有多个输入输出对的集合，生成满足这些输入输出的最短的程序。主要思想用神经网络预测程序...
2019-08-29 10:02:13
506
翻译 [Sketch]Sketch文档
The Sketch Programmers Manual原作者：Armando Solar-Lezama对于一段包含未知量的代码或者函数，当存在一些限制条件时，可以通过推理求出未知量。Sketch即是此种求解工具。它有自己的语法，但可以将补全后的程序按照C标准输出。1. Overview本章介绍了如何通过编译器来运行一个最简单的Sketch例子。1.1. Hello worldhar...
2019-08-27 14:17:00
1075
原创 解决atom中Markdown不能同步滚动
解决atom中Markdown不能同步滚动在Atom中使用Markdown问题介绍原因与解决方法在Atom中使用Markdown按照网上众多教程所说，在atom打开pachage页面（快捷键ctrl+，），安装各种插件。参考教程：https://www.jianshu.com/p/be6dee566ffc问题介绍打开md文件时，会显示如下报错：Uncaught TypeError: ...
2019-07-16 22:19:28
1409
原创 制作ubuntu启动U盘
制作ubuntu启动U盘准备步骤准备Ubuntu系统（.iso），UltraISO（软碟通），U盘步骤下载软碟通软件，UltraISO，单exe文件直接运行无需安装，链接：https://pan.baidu.com/s/1c1XWpdjgodNhNfWCINgW0g提取码：1rhd打开软件后，选择菜单栏的 文件->打开，选择Ubuntu系统，然后打开插入U盘，点击菜单栏的 启...
2019-06-28 12:06:10
240
blender2.79b
2018-10-22
masm32v11r免安装文件
2016-10-14
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人