中文
相关论文

相关论文: Venture: a higher-order probabilistic programming …

200 篇论文

We report on an experimental investigation into opportunities for parallelism in beliefnet inference. Specifically, we report on a study performed of the available parallelism, on hypercube style machines, of a set of randomly generated…

人工智能 · 计算机科学 2013-03-25 Bruce D'Ambrosio , Tony Fountain , Zhaoyu Li

Large language models (LLMs) have shown that generative pretraining can distill vast world knowledge into compact token representations. While LLMs encapsulate extensive world knowledge, they remain limited in modeling the behavioral…

机器学习 · 计算机科学 2026-03-31 Guilin Li , Yun Zhang , Xiuyuan Chen , Chengqi Li , Bo Wang , Linghe Kong , Wenjia Wang , Weiran Huang , Matthias Hwai Yong Tan

We propose design guidelines for a probabilistic programming facility suitable for deployment as a part of a production software system. As a reference implementation, we introduce Infergo, a probabilistic programming facility for Go, a…

编程语言 · 计算机科学 2019-06-27 David Tolpin

Probabilistic graphical models have emerged as a powerful modeling tool for several real-world scenarios where one needs to reason under uncertainty. A graphical model's partition function is a central quantity of interest, and its…

人工智能 · 计算机科学 2021-05-25 Durgesh Agrawal , Yash Pote , Kuldeep S Meel

Variational inference is a popular method for estimating model parameters and conditional distributions in hierarchical and mixed models, which arise frequently in many settings in the health, social, and biological sciences. Variational…

统计方法学 · 统计学 2019-01-10 Ted Westling , Tyler H. McCormick

Probabilistic programming makes it easy to represent a probabilistic model as a program. Building an individual model, however, is only one step of probabilistic modeling. The broader challenge of probabilistic modeling is in understanding…

编程语言 · 计算机科学 2022-08-15 Ryan Bernstein

A grand challenge in machine learning is the development of computational algorithms that match or outperform humans in perceptual inference tasks that are complicated by nuisance variation. For instance, visual object recognition involves…

机器学习 · 统计学 2015-04-03 Ankit B. Patel , Tan Nguyen , Richard G. Baraniuk

We propose Edward, a Turing-complete probabilistic programming language. Edward defines two compositional representations---random variables and inference. By treating inference as a first class citizen, on a par with modeling, we show that…

机器学习 · 统计学 2017-03-08 Dustin Tran , Matthew D. Hoffman , Rif A. Saurous , Eugene Brevdo , Kevin Murphy , David M. Blei

Current architectures are now equipped with matrix computation units designed to enhance AI and high-performance computing applications. Within these architectures, two fundamental instruction types are matrix multiplication and vector…

分布式、并行与集群计算 · 计算机科学 2024-03-04 Wenxuan Zhao , Liang Yuan , Baicheng Yan , Penghao Ma , Yunquan Zhang , Long Wang , Zhe Wang

This paper introduces ENFrame, a unified data processing platform for querying and mining probabilistic data. Using ENFrame, users can write programs in a fragment of Python with constructs such as bounded-range loops, list comprehension,…

数据库 · 计算机科学 2013-09-03 Sebastiaan J. van Schaik , Dan Olteanu , Robert Fink

Probabilistic inference is a fundamental task in modern machine learning. Recent advances in tensor network (TN) contraction algorithms have enabled the development of better exact inference methods. However, many common inference tasks in…

机器学习 · 计算机科学 2024-09-10 Martin Roa-Villescas , Xuanzhao Gao , Sander Stuijk , Henk Corporaal , Jin-Guo Liu

We propose probabilistic Shapley inference (PSI), a novel probabilistic framework to model and infer sufficient statistics of feature attributions in flexible predictive models, via latent random variables whose mean recovers Shapley…

机器学习 · 计算机科学 2025-09-09 Mert Ketenci , Iñigo Urteaga , Victor Alfonso Rodriguez , Noémie Elhadad , Adler Perotte

Finely tuning MPI applications and understanding the influence of keyparameters (number of processes, granularity, collective operationalgorithms, virtual topology, and process placement) is critical toobtain good performance on…

分布式、并行与集群计算 · 计算机科学 2022-01-10 Tom Cornebize , Arnaud Legrand

We introduce Dimple, a fully open-source API for probabilistic modeling. Dimple allows the user to specify probabilistic models in the form of graphical models, Bayesian networks, or factor graphs, and performs inference (by automatically…

软件工程 · 计算机科学 2012-12-14 Shawn Hershey , Jeff Bernstein , Bill Bradley , Andrew Schweitzer , Noah Stein , Theo Weber , Ben Vigoda

Embedding is a useful technique to project a high-dimensional feature into a low-dimensional space, and it has many successful applications including link prediction, node classification and natural language processing. Current approaches…

信息检索 · 计算机科学 2020-09-21 Meimei Liu , Hongxia Yang

Probabilistic models based on continuous latent spaces, such as variational autoencoders, can be understood as uncountable mixture models where components depend continuously on the latent code. They have proven to be expressive tools for…

机器学习 · 计算机科学 2024-06-27 Alvaro H. C. Correia , Gennaro Gala , Erik Quaeghebeur , Cassio de Campos , Robert Peharz

A central goal of probabilistic programming languages (PPLs) is to separate modelling from inference. However, this goal is hard to achieve in practice. Users are often forced to re-write their models in order to improve efficiency of…

编程语言 · 计算机科学 2022-02-21 Maria I. Gorinova , Andrew D. Gordon , Charles Sutton , Matthijs Vákár

Posterior inference in directed graphical models is commonly done using a probabilistic encoder (a.k.a inference model) conditioned on the input. Often this inference model is trained jointly with the probabilistic decoder (a.k.a generator…

机器学习 · 计算机科学 2019-12-21 Amir Zadeh , Smon Hessner , Yao-Chong Lim , Louis-Phlippe Morency

Reversible computation is an unconventional form of computing where any executed sequence of operations can be executed in reverse at any point during computation. It has recently been attracting increasing attention in various research…

计算机科学中的逻辑 · 计算机科学 2018-04-13 Anna Philippou , Kyriaki Psara

A Variable Parameter (VP) analysis, that we introduce here, aims to give a precise algorithm time complexity expression in which an exponent appears solely in terms of a variable parameter. A variable parameter is the number of objects with…

数据结构与算法 · 计算机科学 2025-07-08 Nodari Vakhania