The .zip file contains the artifact for our TACAS23 paper "Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants". The artifact contains our tool "cegispro2" and a README.txt with detailed instructions on how to reproduce the results for our tool
This upload is the research artifact used in the submission of ICCAD'23: Automatic Inductive Invaria...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
This artifact includes an implementation of the novel method for synthesis of probabilistic systems ...
This is the artifact for our OOPSLA 2023 paper "A Deductive Verification Infrastructure for Probabil...
This package contains code and data needed for reproducing results reported in the following paper: ...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
Artifact submission for the paper 'Formally Verified Samplers From Probabilistic Programs With Loops...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This upload is the research artifact used in the submission of ICCAD'23: Automatic Inductive Invaria...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
This artifact includes an implementation of the novel method for synthesis of probabilistic systems ...
This is the artifact for our OOPSLA 2023 paper "A Deductive Verification Infrastructure for Probabil...
This package contains code and data needed for reproducing results reported in the following paper: ...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact acompanying the paper "This is the Moment for Probabilistic Loops". Please download the zi...
Artifact submission for the paper 'Formally Verified Samplers From Probabilistic Programs With Loops...
This is the artifact for the paper "Example Guided Synthesis of Linear Approximations for Neural Net...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This is the primary artifact, named symProb, for "Symbolic Semantics for Probabilistic Programs", to...
Artifact supplement for 'Deductive Controller Synthesis for Probabilistic Hyperproperties' (QEST23)...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
This upload is the research artifact used in the submission of ICCAD'23: Automatic Inductive Invaria...
Artifact accompanying the paper Automatic Alignment in Higher-Order Probabilistic Programming Langua...
Artifact of "Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation"( PL...
DOI
Add to ORKG