English
Related papers

Related papers: DynamicPPL: Stan-like Speed for Dynamic Probabilis…

200 papers

InvertibleNetworks.jl is a Julia package designed for the scalable implementation of normalizing flows, a method for density estimation and sampling in high-dimensional distributions. This package excels in memory efficiency by leveraging…

Machine Learning · Computer Science 2023-12-22 Rafael Orozco , Philipp Witte , Mathias Louboutin , Ali Siahkoohi , Gabrio Rizzuti , Bas Peters , Felix J. Herrmann

Stan is a probabilistic programming language that has been increasingly used for real-world scalable projects. However, to make practical inference possible, the language sacrifices some of its usability by adopting a block syntax, which…

Programming Languages · Computer Science 2019-04-02 Maria I. Gorinova , Andrew D. Gordon , Charles Sutton

This paper discusses our proposal and implementation of Distill, a domain-specific compilation tool based on LLVM to accelerate cognitive models. Cognitive models explain the process of cognitive function and offer a path to human-like…

Programming Languages · Computer Science 2022-01-17 Jan Vesely , Raghavendra Pradyumna Pothukuchi , Ketaki Joshi , Samyak Gupta , Jonathan D. Cohen , Abhishek Bhattacharjee

StreamSampling$.$jl is a Julia library designed to provide general and efficient methods for sampling from data streams in a single pass, even when the total number of items is unknown. In this paper, we describe the capabilities of the…

Software Engineering · Computer Science 2026-05-15 Adriano Meligrana

There are plenty of excellent plotting libraries. Each excels at a different use case: one is good for printed 2D publication figures, the other at interactive 3D graphics, a third has excellent L A TEX integration or is good for creating…

Accurate and efficient methods to simulate nonadiabatic and quantum nuclear effects in high-dimensional and dissipative systems are crucial for the prediction of chemical dynamics in condensed phase. To facilitate effective development,…

The demand for high-performance computing (HPC) is ever-increasing for everyday statistical computing purposes. The downside is that we need to write specialized code for each HPC environment. CPU-level parallelization needs to be…

Computation · Statistics 2020-11-02 Seyoon Ko , Hua Zhou , Jin Zhou , Joong-Ho Won

We introduce PPL Bench, a new benchmark for evaluating Probabilistic Programming Languages (PPLs) on a variety of statistical models. The benchmark includes data generation and evaluation code for a number of models as well as…

In this paper we present the development of an open-source simulation toolbox, PowerSimulationsDynamics.jl, to study the dynamic response of power systems, focusing on the requirements to model systems with high penetrations of…

Systems and Control · Electrical Eng. & Systems 2024-03-26 Jose Daniel Lara , Rodrigo Henriquez-Auba , Matthew Bossart , Duncan S. Callaway , Clayton Barrows

We present DataDeps.jl: a julia package for the reproducible handling of static datasets to enhance the repeatability of scripts used in the data and computational sciences. It is used to automate the data setup part of running software…

Software Engineering · Computer Science 2018-08-06 Lyndon White , Roberto Togneri , Wei Liu , Mohammed Bennamoun

Probabilistic programming languages (PPLs) allow programmers to construct statistical models and then simulate data or perform inference over them. Many PPLs restrict models to a particular instance of simulation or inference, limiting…

Programming Languages · Computer Science 2024-12-24 Minh Nguyen , Roly Perera , Meng Wang , Nicolas Wu

Motivation: Estimating model parameters from experimental observations is one of the key challenges in systems biology and can be computationally very expensive. While the Julia programming language was recently developed as a high-level…

Quantitative Methods · Quantitative Biology 2020-11-06 Paul F. Lang , Sungho Shin , Victor M. Zavala

We present JDLL, an agile Java library that offers a comprehensive toolset/API to unify the development of high-end applications of DL for bioimage analysis and to streamline their installation and maintenance. JDLL provides all the…

MLJ (Machine Learing in Julia) is an open source software package providing a common interface for interacting with machine learning models written in Julia and other languages. It provides tools and meta-algorithms for selecting, tuning,…

Machine Learning · Computer Science 2020-12-01 Anthony D. Blaom , Franz Kiraly , Thibaut Lienart , Yiannis Simillides , Diego Arenas , Sebastian J. Vollmer

Large language models (LLMs) have taken the world by storm by making many previously difficult uses of AI feasible. LLMs are controlled via highly expressive textual prompts and return textual answers. Unfortunately, this unstructured text…

Artificial Intelligence · Computer Science 2024-10-28 Mandana Vaziri , Louis Mandel , Claudio Spiess , Martin Hirzel

Dynamic programming (DP) is a fundamental method in operations research, but formulating DP models has traditionally required expert knowledge of both the problem context and DP techniques. Large Language Models (LLMs) offer the potential…

Artificial Intelligence · Computer Science 2026-04-02 Chenyu Zhou , Jingyuan Yang , Linwei Xin , Yitian Chen , Ziyan He , Dongdong Ge

PowerSimulations.jl is a Julia-based BSD-licensed power system operations simulation tool developed as a flexible and open source software for quasi-static power systems simulations including Production Cost Models. PowerSimulations.jl…

Systems and Control · Electrical Eng. & Systems 2024-04-05 Jose Daniel Lara , Clayton Barrows , Daniel Thom , Sourabh Dalvi , Duncan S. Callaway , Dheepak Krishnamurthy

Whereas the semantics of probabilistic languages has been extensively studied, specification languages for their properties have received less attention -- with the notable exception of recent and on-going efforts by Joost-Pieter Katoen and…

Logic in Computer Science · Computer Science 2024-12-03 Einar Broch Johnsen , Eduard Kamburjan , Raúl Pardo , Erik Voogd , Andrzej Wąsowski

Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning. The resulting paradigm of probabilistic logic programming (PLP) and its programming…

Artificial Intelligence · Computer Science 2024-09-10 Pedro Zuidberg Dos Martires , Luc De Raedt , Angelika Kimmig

Machine learning as a discipline has seen an incredible surge of interest in recent years due in large part to a perfect storm of new theory, superior tooling, renewed interest in its capabilities. We present in this paper a framework named…