Probabilistic separation logics for verifying higher-order probabilistic programs.

[ICASSP 2024] 🍵 Matcha-TTS: A fast TTS architecture with conditional flow matching

JS implementation of probabilistic data structures: Bloom Filter (and its derived), HyperLogLog, Count-Min Sketch, Top-K and MinHash

Website of the ICRA 2024 workshop on probabilistic robotics.

UQpy (Uncertainty Quantification with python) is a general purpose Python toolbox for modeling uncertainty in physical and mathematical systems.

A Python package for Bayesian forecasting with object-oriented design and probabilistic models under the hood.

Long-term Human Trajectory Prediction using 3D DSGs

PyTorch based Probabilistic Time Series forecasting framework based on GluonTS backend

Probabilistic Mission Design using Hybrid Probabilistic Logic for Unmanned Aerial Vehicles.

Unsupervised Learning for Image Registration

A Matlab toolbox for sampling inverse problems with complex priors

Count-Min Sketch Implementation in C

The currently untitled strategy game is a probabilistic battle simulator, aiming to capture the uncertainty of traversing and engaging in combat on unknown territory against unknown enemies in a 1 vs 1 local game of conquest taking place on a customizable map made of different terrain types with a variety of troops.

A pure, simple and fast pythonic bloom filter

🥄✨Time-series Benchmark methods that are Simple and Probabilistic

PROVIDE: A Probabilistic Framework for Unsupervised Video Decomposition (UAI 2021)

Oil & Gas Decline Curve Analysis Package

Kumpulan referensi untuk belajar mengenai pemrograman Python, Data Science, Machine Learning dan Deep Learning.

The C++ and R packages for parallel ensemble forecasts using Analog Ensemble

This is an example of an application of linear regression to analyze a problem.