Matches in SemOpenAlex for { <https://semopenalex.org/work/W4309969320> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W4309969320 abstract "Morgan and McIver's weakest pre-expectation framework is one of the most well-established methods for deductive verification of probabilistic programs. Roughly, the idea is to generalize binary state assertions to real-valued expectations, which can measure expected values of probabilistic program quantities. While loop-free programs can be analyzed by mechanically transforming expectations, verifying loops usually requires finding an invariant expectation, a difficult task. We propose a new view of invariant expectation synthesis as a regression problem: given an input state, predict the average value of the post-expectation in the output distribution. Guided by this perspective, we develop the first data-driven invariant synthesis method for probabilistic programs. Unlike prior work on probabilistic invariant inference, our approach can learn piecewise continuous invariants without relying on template expectations, and also works with black-box access to the program. We also develop a data-driven approach to learn sub-invariants from data, which can be used to upper- or lower-bound expected values. We implement our approaches and demonstrate their effectiveness on a variety of benchmarks from the probabilistic programming literature." @default.
- W4309969320 created "2022-11-30" @default.
- W4309969320 creator A5014601092 @default.
- W4309969320 creator A5015536456 @default.
- W4309969320 creator A5033286190 @default.
- W4309969320 creator A5046936814 @default.
- W4309969320 creator A5083728033 @default.
- W4309969320 date "2021-06-09" @default.
- W4309969320 modified "2023-09-25" @default.
- W4309969320 title "Data-Driven Invariant Learning for Probabilistic Programs" @default.
- W4309969320 doi "https://doi.org/10.48550/arxiv.2106.05421" @default.
- W4309969320 hasPublicationYear "2021" @default.
- W4309969320 type Work @default.
- W4309969320 citedByCount "0" @default.
- W4309969320 crossrefType "posted-content" @default.
- W4309969320 hasAuthorship W4309969320A5014601092 @default.
- W4309969320 hasAuthorship W4309969320A5015536456 @default.
- W4309969320 hasAuthorship W4309969320A5033286190 @default.
- W4309969320 hasAuthorship W4309969320A5046936814 @default.
- W4309969320 hasAuthorship W4309969320A5083728033 @default.
- W4309969320 hasBestOaLocation W43099693201 @default.
- W4309969320 hasConcept C11413529 @default.
- W4309969320 hasConcept C119857082 @default.
- W4309969320 hasConcept C134306372 @default.
- W4309969320 hasConcept C154945302 @default.
- W4309969320 hasConcept C164660894 @default.
- W4309969320 hasConcept C190470478 @default.
- W4309969320 hasConcept C2776214188 @default.
- W4309969320 hasConcept C33923547 @default.
- W4309969320 hasConcept C37914503 @default.
- W4309969320 hasConcept C41008148 @default.
- W4309969320 hasConcept C48372109 @default.
- W4309969320 hasConcept C49937458 @default.
- W4309969320 hasConcept C80444323 @default.
- W4309969320 hasConcept C94375191 @default.
- W4309969320 hasConceptScore W4309969320C11413529 @default.
- W4309969320 hasConceptScore W4309969320C119857082 @default.
- W4309969320 hasConceptScore W4309969320C134306372 @default.
- W4309969320 hasConceptScore W4309969320C154945302 @default.
- W4309969320 hasConceptScore W4309969320C164660894 @default.
- W4309969320 hasConceptScore W4309969320C190470478 @default.
- W4309969320 hasConceptScore W4309969320C2776214188 @default.
- W4309969320 hasConceptScore W4309969320C33923547 @default.
- W4309969320 hasConceptScore W4309969320C37914503 @default.
- W4309969320 hasConceptScore W4309969320C41008148 @default.
- W4309969320 hasConceptScore W4309969320C48372109 @default.
- W4309969320 hasConceptScore W4309969320C49937458 @default.
- W4309969320 hasConceptScore W4309969320C80444323 @default.
- W4309969320 hasConceptScore W4309969320C94375191 @default.
- W4309969320 hasLocation W43099693201 @default.
- W4309969320 hasLocation W43099693202 @default.
- W4309969320 hasOpenAccess W4309969320 @default.
- W4309969320 hasPrimaryLocation W43099693201 @default.
- W4309969320 hasRelatedWork W2303614492 @default.
- W4309969320 hasRelatedWork W2494200839 @default.
- W4309969320 hasRelatedWork W2926374695 @default.
- W4309969320 hasRelatedWork W2961085424 @default.
- W4309969320 hasRelatedWork W3026670957 @default.
- W4309969320 hasRelatedWork W4290792893 @default.
- W4309969320 hasRelatedWork W4306674287 @default.
- W4309969320 hasRelatedWork W4366327501 @default.
- W4309969320 hasRelatedWork W4384812105 @default.
- W4309969320 hasRelatedWork W4224009465 @default.
- W4309969320 isParatext "false" @default.
- W4309969320 isRetracted "false" @default.
- W4309969320 workType "article" @default.