Oct, 2018

使用概率编程语言 Birch 进行自动化学习

PDF
TL;DR本文介绍了基于概率编程中的最新进展，以广阔的概率建模和推断为视角，探讨了概率编程语言如何自动匹配模型和推断方法，强调了模型的结构和形式对这种匹配的至关重要性，并通过 Birch 进行实例演示。
发现论文，激发创造
  • 概率编程简介

    本书介绍了概率编程的基础和技术，主要包括概率编程语言的设计和构建、基础推理算法和高阶概率编程语言、概率编程与可微分编程的交叉应用，尤其是深度概率编程系统的设计与语言特性对其的影响。

    Sep, 2018

  • 概率编程概念

    本文旨在通过探讨各种不同的概率编程语言所使用的基本概率原语，包括逻辑编程语言的概率扩展，从而比较和理解它们之间的区别，以更好地理解概率编程的核心编程概念和执行机制。

    Dec, 2013

  • 从时间序列数据中自动生成概率编程

    通过非参数高斯过程回归找到时间序列数据的描述性协方差结构从而构建具有表述性的概率编程描述， 不需要提供模型结构。

    Jul, 2016

  • 机器学习在大规模代码和自然语言中的应用调查

    本文综述了机器学习、编程语言和软件工程交叉领域的研究进展，重点介绍了利用代码中大量存在的模式提出可学习概率模型的方法，并提出了基于每个模型的基本设计原理的分类法，用于研究该领域的技术、应用等方面的具体问题、挑战和机遇。

    Sep, 2017

  • 运行概率程序的反向计算

    本篇研究论文提出一种牵涉到概率的编程语言，基于测度理论建立抽象语义学，实现贝叶斯推断、随机射线跟踪、以及浮点误差边界的概率验证

    Dec, 2014

  • Borch: 深度通用概率编程语言

    本文介绍了 Borch，这是一种建立在 PyTorch 之上的可扩展深度通用概率编程语言，旨在将概率建模的原则方法与深度神经网络的可扩展性结合起来。

    Sep, 2022

  • 贝叶斯合成概率编程自动数据建模

    使用贝叶斯综合技术，通过概率领域专用数据建模语言自动生成概率计算程序进行数据分析、解释和预测，并应用于时间序列数据和多元表格数据的分析，结果表明该技术可以准确推断多个真实世界数据的定性结构，优于标准的数据分析方法。

    Jul, 2019

  • 概率编程实现的概率规划

    本文通过概率编程的视角简要介绍了概率规划的概念，着重阐述了 HYPE 和 ALLEGRO 两个系统的特点，强调它们在处理概率规划中复杂建模问题方面的优势，如处理不断扩大和缩小的状态空间，离散和连续的概率分布，以及一阶设置中的非唯一先验分布等。

    Jan, 2018

  • 概率编程推断的新方法

    介绍和证明了一个基于粒子马尔可夫蒙特卡罗的新的推理方法。该方法适用于图灵完备的概率编程语言，支持使用复杂控制流（包括随机递归）的模型的准确推理，并包括来自贝叶斯非参数统计的基元。实验证明，该方法比之前介绍的单一站点 Metropolis-Hastings 方法更有效。

    Jul, 2015

  • Swift：概率编程语言的编译推断

    本文介绍了一种基于编译器的 PPL 推理引擎 Swift，用以提高运行效率，并通过多个实验比较表明，相较于其他 PPL 推理引擎，Swift 的运算速度有着 12 到 326 倍的提升。

    Jun, 2016