Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Probabilistic Programming

Showing: 54 courses
Max Planck Institute for Evolutionary Anthropology

Statistical Rethinking

0 rewiews
Comprehensive exploration of advanced statistical concepts and methods, emphasizing critical thinking and practical application in evolutionary anthropology research.
Add to list
20 Lesons
20 hours
On-Demand
Free-Video
Institute for Advanced Study

Steps Towards More Human-Like Learning in Machines - Josh Tenenbaum

0 rewiews
Explore how machines can achieve more human-like learning through probabilistic programming, intuitive psychology, and simulation engines. Discover insights on core knowledge and one-shot learning in AI.
Add to list
51 Lesons
1 hour 14 minutes
On-Demand
Free-Video
MITCBMM

Computational Models of Cognition - Reverse-Engineering Common Sense in the Human Mind and Brain Pt 1

0 rewiews
Explore cognitive modeling to reverse-engineer human common sense, examining AI progress, scientific context, and probabilistic programming techniques for capturing learning and constructing models.
Add to list
15 Lesons
1 hour 7 minutes
On-Demand
Free-Video
Linux Foundation

Artificial Intelligence: Current State and Future Prospects - Keynote Conversation

0 rewiews
Explore AI's current state, impact, and future with Noah Goodman and Jim Zemlin. Delve into open source's role, data's future, and the driving forces behind AI's rapid advancement.
Add to list
8 Lesons
20 minutes
On-Demand
Free-Video
Probabilistic AI School

Better Priors for Everyone - Keynote

0 rewiews
Explore advanced techniques for improving prior distributions in probabilistic models, enhancing Bayesian inference across various applications.
Add to list
1 Lesons
1 hour 1 minute
On-Demand
Free-Video
Paul G. Allen School

PLSE Seminar Series - Willem Visser, "An Analytical Perspective on Mutations and Coverage"

0 rewiews
Explores symbolic execution and model counting for analyzing mutations and coverage in software testing, discussing reachability, mutation operators, oracle precision, and probabilistic approaches.
Add to list
1 Lesons
1 hour
On-Demand
Free-Video
ACM SIGPLAN

Lower Bounds for Possibly Divergent Probabilistic Programs

0 rewiews
Explore a new proof rule for verifying lower bounds on quantities of probabilistic programs, applicable to possibly divergent programs and non-trivial cases like three-dimensional random walks.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Gradual Probabilistic Lambda Calculus

0 rewiews
Explore a gradual probabilistic lambda calculus combining static and dynamic typing for probabilistic programming, enhancing flexibility in machine learning and differential privacy applications.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

A Deductive Verification Infrastructure for Probabilistic Programs

0 rewiews
Explore a novel deductive verification infrastructure for probabilistic programs, featuring an intermediate verification language and real-valued logic for quantitative property verification.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Probabilistic Programming with Programmable Variational Inference

0 rewiews
Explore a modular approach to variational inference in probabilistic programming, enhancing expressiveness and enabling user-defined objectives with systematic gradient estimation transformations.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
ACM SIGPLAN

Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures

0 rewiews
Explore a novel approach to probabilistic program inference using Gaussian mixtures, offering improved accuracy and efficiency for complex models and distributions.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Bayesian Inference Using Probabilistic Programming

0 rewiews
Explore Bayesian inference techniques and probabilistic programming concepts with expert insights from Hong Ge at LAFI'24.
Add to list
1 Lesons
1 hour 2 minutes
On-Demand
Free-Video
ACM SIGPLAN

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

0 rewiews
Explore asynchronous probabilistic couplings in higher-order separation logic, addressing synchronization issues in relational program logics for enhanced reasoning about probabilistic programs.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Open Data Science

The Hamiltonian Monte Carlo Revolution Is Open Source - Probabilistic Programming with PyMC3

0 rewiews
Explore Bayesian statistical computation and Hamiltonian Monte Carlo algorithms using PyMC3, an open-source probabilistic programming package. Learn to apply these advanced techniques to complex models in Python.
Add to list
37 Lesons
43 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Methods for Scalable Probabilistic Inference - IPAM at UCLA

0 rewiews
Explore scalable probabilistic inference methods for astrophysics, focusing on Gaussian Processes for time series analysis and open-source tools to accelerate Bayesian inference with large datasets.
Add to list
33 Lesons
46 minutes
On-Demand
Free-Video
Fields Institute

Probabilistic Numerics for Inference with Simulations

0 rewiews
Explore probabilistic numerics for inference with simulations, covering high-dimensional models, numerical methods, and innovative approaches to machine learning challenges.
Add to list
15 Lesons
1 hour 6 minutes
On-Demand
Free-Video
MITCBMM

Probabilistic Programming

0 rewiews
Explore probabilistic programming concepts, from intuitive physics to computational theory of mind, with hands-on practice in web-based probabilistic programming languages.
Add to list
27 Lesons
1 hour 10 minutes
On-Demand
Free-Video
Alan Turing Institute

Semantic Models for Higher-Order Bayesian Inference - Sam Staton, University of Oxford

0 rewiews
Explore probabilistic programming for Bayesian modeling, focusing on advanced languages with higher-order functions and continuous distributions. Learn about quasi-Borel spaces and modular inference algorithms.
Add to list
10 Lesons
41 minutes
On-Demand
Free-Video
Alan Turing Institute

Introduction to Machine Learning - Professor Zoubin Ghahramani, Cambridge University

0 rewiews
Comprehensive overview of machine learning fundamentals by renowned expert, covering statistical approaches, Bayesian methods, deep learning, and automated data analysis techniques.
Add to list
1 Lesons
2 hours 44 minutes
On-Demand
Free-Video
ACM SIGPLAN

Lilac: A Modal Separation Logic for Conditional Probability

0 rewiews
Explore Lilac, a novel separation logic for probabilistic programs, introducing a modality for conditional probability reasoning and validating its effectiveness through formal verification examples.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Bit Blasting Probabilistic Programs

0 rewiews
Explore a novel approach to hybrid probabilistic programs using bit blasting for efficient discretization and inference. Learn about HyBit system and its benefits over existing methods.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Compiling Probabilistic Programs for Variable Elimination with Information Flow

0 rewiews
Explore a novel approach to variable elimination and marginal inference in probabilistic programming, featuring bounded recursion and discrete distributions, with compiler-based optimization techniques.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Equivalence and Similarity Refutation for Probabilistic Programs

0 rewiews
Explore a novel method for refuting equivalence and similarity in probabilistic programs, offering automated analysis with formal guarantees for infinite-state systems.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Scaling Decision-Theoretic Probabilistic Programming Through Factorization

0 rewiews
Explore dappl, a new probabilistic programming language for decision-making, offering scalable MEU reasoning and expressive modeling of complex real-world tasks.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Automated Expected Value Analysis of Recursive Programs

0 rewiews
Explore automated inference of expected result values in probabilistic programs with recursion, procedures, and local variables. Learn about term representation and first-order constraints for analysis automation.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning

0 rewiews
Explore Zar: a verified compiler for discrete probabilistic programs, transforming cpGCL to executable samplers. Learn about choice-fix trees, interaction trees, and sampling equidistribution theorem.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
ACM SIGPLAN

Caesar: A Verifier for Probabilistic Programs - Dafny'24

0 rewiews
Explore Caesar, a verifier for probabilistic programs, featuring an intermediate verification language and real-valued logic for quantitative property verification in programming.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Decalf: A Directed, Effectful Cost-Aware Logical Framework

0 rewiews
Explore Decalf, a logical framework for analyzing quantitative aspects of effectful functional programs, focusing on cost-aware type theory and its applications to algorithm analysis.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
ACM SIGPLAN

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets - POPL 2024

0 rewiews
Explore semantic models of probabilistic programming languages over graphs, connecting graphons to equational theories through Markov categories, measure-theoretic probability, and nominal sets.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs

0 rewiews
Explore programmatic strategy synthesis for resolving nondeterminism in probabilistic programs using deductive verification techniques and weakest precondition-style frameworks.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
ACM SIGPLAN

Higher Order Bayesian Networks, Exactly - POPL 2024

0 rewiews
Explore a higher-order programming language for Bayesian networks, combining advanced techniques from linear logic, intersection types, and rewriting theory for efficient probabilistic modeling and inference.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
ACM SIGPLAN

Positive Almost-Sure Termination: Complexity and Proof Rules

0 rewiews
Explore complexity and proof rules for Positive Almost-Sure Termination in probabilistic programming, including recursion-theoretic analysis and novel proof techniques using transfinite ordinals.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
ACM SIGPLAN

Toward Probabilistic Coarse-to-Fine Program Synthesis

0 rewiews
Explore probabilistic coarse-to-fine program synthesis, a novel approach using iterative refinement of stochastic programs to efficiently search and generate programs matching specifications.
Add to list
1 Lesons
12 minutes
On-Demand
Free-Video
ACM SIGPLAN

Guaranteed Bounds for Discrete Probabilistic Programs with Loops via Generating Functions - LAFI'24

0 rewiews
Explore a technique for finding guaranteed bounds on posterior distributions in probabilistic programs with loops using probability generating functions and inductive invariants.
Add to list
1 Lesons
10 minutes
On-Demand
Free-Video
Conf42

Probabilistic Programming in Python - Conf42 Python 2024

0 rewiews
Explore Bayesian statistics, probabilistic modeling, and MCMC in Python. Learn key concepts and practical applications through demonstrations and workflow explanations.
Add to list
11 Lesons
14 minutes
On-Demand
Free-Video
Strange Loop Conference

Probabilistic Programs Which Make Common Sense

0 rewiews
Explore probabilistic programming as a step towards machines with common sense. Learn about Sigma, a language for functional probabilistic models, and its applications in automated reasoning and inference.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
RSA Conference

The Metrics Manifesto

0 rewiews
Discover predictive analytics for security, including decision science, Bayesian methods, and quantitative risk management. Learn to measure attack surface and present advanced metrics to boards.
Add to list
1 Lesons
36 minutes
On-Demand
Free-Video
Strange Loop Conference

Scala DSLs and Probabilistic Programming

0 rewiews
Explore ScalaStan, a type-safe DSL for statistical modeling with Stan, enabling programmatic manipulation and generation of Stan programs within Scala for efficient Bayesian inference and data analysis.
Add to list
21 Lesons
33 minutes
On-Demand
Free-Video
Strange Loop Conference

An Overview of Probabilistic Programming

0 rewiews
Explore probabilistic programming through BayesDB, Picture, and Venture platforms. Learn about Bayesian databases, 3D scene perception, and general-purpose probabilistic computing for data analysis and AI applications.
Add to list
20 Lesons
1 hour 3 minutes
On-Demand
Free-Video
Strange Loop Conference

Blueprints for a Universal Reasoning Machine

0 rewiews
Exploring the concept of a universal reasoning machine, combining probabilistic and causal inference, computational languages, and deep learning to automate all forms of inference across domains.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video
EuroPython Conference

PyAutoFit - A Classy Probabilistic Programming Language For Data Science

0 rewiews
Explore Bayesian inference with PyAutoFit, a probabilistic programming language for data science. Learn core features, model composition, and advanced tools for big data analysis and parallel computing.
Add to list
16 Lesons
29 minutes
On-Demand
Free-Video
EuroPython Conference

Probabilistic Programming in Python

0 rewiews
Learn probabilistic programming in Python using PyMC3 for flexible statistical modeling, automated parameter estimation, and uncertainty quantification in data science and scientific research.
Add to list
16 Lesons
46 minutes
On-Demand
Free-Video
EuroPython Conference

Decision Science with Probabilistic Programming

0 rewiews
Explore generative models and probabilistic programming for decision-making under uncertainty, integrating with robust optimization techniques to enhance business strategies.
Add to list
1 Lesons
54 minutes
On-Demand
Free-Video
ACM SIGPLAN

An Intrinsically-typed Probabilistic Programming Language in Coq - Extended Abstract

0 rewiews
Explore formalization of intrinsically-typed probabilistic programming language in Coq, focusing on syntax, evaluation, and formal verification applications.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
ACM SIGPLAN

Effect Handlers for Programmable Inference - Haskell 2023

0 rewiews
Explore effect handlers for modular inference programming in probabilistic algorithms, revealing high-level structures and enabling easy customization of Metropolis-Hastings and particle filtering methods.
Add to list
11 Lesons
26 minutes
On-Demand
Free-Video
ACM SIGPLAN

Probabilistic Programming with Stochastic Probabilities

0 rewiews
Explore a novel approach to probabilistic programming languages using stochastic probability estimation, enabling unrestricted stochastic control flow and programmable inference with custom proposals.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
Neuro Symbolic

Probabilistic Circuits - Lecture on Advanced AI Techniques

0 rewiews
Explore probabilistic circuits with YooJung Choi, delving into advanced AI concepts at the intersection of symbolic methods and deep learning.
Add to list
1 Lesons
38 minutes
On-Demand
Free-Video
The Julia Programming Language

What's New with Turing.jl and Its Ecosystem

0 rewiews
Explore updates to Turing.jl, a probabilistic programming framework in Julia for Bayesian inference, and its expanding ecosystem of modular packages for enhanced usability and extensibility.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
ACM SIGPLAN

Foundations of Type-Driven Probabilistic Modelling

0 rewiews
Explore type-driven abstractions for probabilistic modelling, covering discrete probability and quasi-Borel spaces. Gain hands-on experience through accompanying exercises for self-study.
Add to list
1 Lesons
1 hour 55 minutes
On-Demand
Free-Video
Neurosymbolic Programming for Science

Probabilistic Programming Tutorial - Part 2

0 rewiews
Explore advanced concepts in probabilistic programming, focusing on practical applications and techniques for scientific computing and data analysis.
Add to list
1 Lesons
1 hour 11 minutes
On-Demand
Free-Video
Neurosymbolic Programming for Science

Probabilistic Programming Tutorial - Part 1

0 rewiews
Explore probabilistic programming fundamentals and applications with MIT expert Vikash Mansinghka in this comprehensive tutorial.
Add to list
1 Lesons
1 hour 7 minutes
On-Demand
Free-Video
Centrum Fizyki Teoretycznej PAN

Introduction to Model Fitting - Gravitational Lensing and Graphical Modeling

0 rewiews
Explore gravitational lensing model fitting techniques, from traditional methods to innovative graphical modeling, and learn about PyAutoFit for streamlined probabilistic programming.
Add to list
1 Lesons
1 hour 29 minutes
On-Demand
Free-Video
VinAI

Learning and Amortized Inference in Probabilistic Programs

0 rewiews
Explore probabilistic programming, amortized inference, and novel learning methods like reweighted wake-sleep and thermodynamic variational objective for efficient Bayesian inference in complex models.
Add to list
1 Lesons
1 hour 11 minutes
On-Demand
Free-Video
Probabilistic AI School

Probabilistic Modeling and Programming Tutorial - Lecture 1

0 rewiews
Explore probabilistic modeling and programming techniques with expert guidance, enhancing your AI and machine learning skills through hands-on tutorials and practical examples.
Add to list
1 Lesons
1 hour 48 minutes
On-Demand
Free-Video