Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367190716> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4367190716 abstract "Probabilistic programming languages rely fundamentally on some notion of sampling, and this is doubly true for probabilistic programming languages which perform Bayesian inference using Monte Carlo techniques. Verifying samplers - proving that they generate samples from the correct distribution - is crucial to the use of probabilistic programming languages for statistical modelling and inference. However, the typical denotational semantics of probabilistic programs is incompatible with deterministic notions of sampling. This is problematic, considering that most statistical inference is performed using pseudorandom number generators. We present a higher-order probabilistic programming language centred on the notion of samplers and sampler operations. We give this language an operational and denotational semantics in terms of continuous maps between topological spaces. Our language also supports discontinuous operations, such as comparisons between reals, by using the type system to track discontinuities. This feature might be of independent interest, for example in the context of differentiable programming. Using this language, we develop tools for the formal verification of sampler correctness. We present an equational calculus to reason about equivalence of samplers, and a sound calculus to prove semantic correctness of samplers, i.e. that a sampler correctly targets a given measure by construction." @default.
- W4367190716 created "2023-04-28" @default.
- W4367190716 creator A5029314584 @default.
- W4367190716 creator A5069664027 @default.
- W4367190716 creator A5070177847 @default.
- W4367190716 date "2023-04-26" @default.
- W4367190716 modified "2023-10-16" @default.
- W4367190716 title "Deterministic stream-sampling for probabilistic programming: semantics and verification" @default.
- W4367190716 doi "https://doi.org/10.48550/arxiv.2304.13504" @default.
- W4367190716 hasPublicationYear "2023" @default.
- W4367190716 type Work @default.
- W4367190716 citedByCount "0" @default.
- W4367190716 crossrefType "posted-content" @default.
- W4367190716 hasAuthorship W4367190716A5029314584 @default.
- W4367190716 hasAuthorship W4367190716A5069664027 @default.
- W4367190716 hasAuthorship W4367190716A5070177847 @default.
- W4367190716 hasBestOaLocation W43671907161 @default.
- W4367190716 hasConcept C154945302 @default.
- W4367190716 hasConcept C156325763 @default.
- W4367190716 hasConcept C184337299 @default.
- W4367190716 hasConcept C199360897 @default.
- W4367190716 hasConcept C207648694 @default.
- W4367190716 hasConcept C41008148 @default.
- W4367190716 hasConcept C49937458 @default.
- W4367190716 hasConcept C55439883 @default.
- W4367190716 hasConcept C80444323 @default.
- W4367190716 hasConceptScore W4367190716C154945302 @default.
- W4367190716 hasConceptScore W4367190716C156325763 @default.
- W4367190716 hasConceptScore W4367190716C184337299 @default.
- W4367190716 hasConceptScore W4367190716C199360897 @default.
- W4367190716 hasConceptScore W4367190716C207648694 @default.
- W4367190716 hasConceptScore W4367190716C41008148 @default.
- W4367190716 hasConceptScore W4367190716C49937458 @default.
- W4367190716 hasConceptScore W4367190716C55439883 @default.
- W4367190716 hasConceptScore W4367190716C80444323 @default.
- W4367190716 hasLocation W43671907161 @default.
- W4367190716 hasOpenAccess W4367190716 @default.
- W4367190716 hasPrimaryLocation W43671907161 @default.
- W4367190716 hasRelatedWork W2008609084 @default.
- W4367190716 hasRelatedWork W2035786727 @default.
- W4367190716 hasRelatedWork W2051054306 @default.
- W4367190716 hasRelatedWork W2053558194 @default.
- W4367190716 hasRelatedWork W2165518126 @default.
- W4367190716 hasRelatedWork W2551539219 @default.
- W4367190716 hasRelatedWork W2797207385 @default.
- W4367190716 hasRelatedWork W2973978040 @default.
- W4367190716 hasRelatedWork W3028943997 @default.
- W4367190716 hasRelatedWork W4236155685 @default.
- W4367190716 isParatext "false" @default.
- W4367190716 isRetracted "false" @default.
- W4367190716 workType "article" @default.