YoVDO

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

Offered By: ACM SIGPLAN via YouTube

Tags

Probabilistic Programming Courses Formal Verification Courses Type Theory Courses Dependent Types Courses Coq Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a conference talk on formalizing a probabilistic programming language using the Coq proof assistant. Delve into the use of intrinsically-typed syntax and dependent types for semantic values in this formalization effort. Learn about the application of Coq's features to simplify notation in concrete examples and enable equational reasoning for probabilistic programs. Discover how this work contributes to ongoing formal verification experiments in security proofs and artificial intelligence, supporting the diverse features of probabilistic programming.

Syllabus

[TyDe'23] An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstr...


Taught by

ACM SIGPLAN

Related Courses

Data Science in Julia for Hackers
Independent Introducción a las bases del lenguaje R, con RStudio
Udemy From Probabilistic Logics to Neuro-Symbolic Artificial Intelligence
RWTH Center for Artificial Intelligence via YouTube An Overview of Probabilistic Programming
Strange Loop Conference via YouTube Bayesian Networks 1 - Inference - Stanford CS221: AI
Stanford University via YouTube