---
res:
  bibo_abstract:
  - We consider the problem of refuting equivalence of probabilistic programs, i.e.,
    the problem of proving that two probabilistic programs induce different output
    distributions. We study this problem in the context of programs with conditioning
    (i.e., with observe and score statements), where the output distribution is conditioned
    by the event that all the observe statements along a run evaluate to true, and
    where the probability densities of different runs may be updated via the score
    statements. Building on a recent work on programs without conditioning, we present
    a new equivalence refutation method for programs with conditioning. Our method
    is based on weighted restarting, a novel transformation of probabilistic programs
    with conditioning to the output equivalent probabilistic programs without conditioning
    that we introduce in this work. Our method is the first to be both a) fully automated,
    and b) providing provably correct answers. We demonstrate the applicability of
    our method on a set of programs from the probabilistic inference literature.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4561-241X
  - foaf_Person:
      foaf_givenName: Ehsan
      foaf_name: Kafshdar Goharshadi, Ehsan
      foaf_surname: Kafshdar Goharshadi
      foaf_workInfoHomepage: http://www.librecat.org/personId=103b4fa0-896a-11ed-bdf8-87b697bef40d
    orcid: 0000-0002-8595-0587
  - foaf_Person:
      foaf_givenName: Petr
      foaf_name: Novotný, Petr
      foaf_surname: Novotný
      foaf_workInfoHomepage: http://www.librecat.org/personId=3CC3B868-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Dorde
      foaf_name: Zikelic, Dorde
      foaf_surname: Zikelic
      foaf_workInfoHomepage: http://www.librecat.org/personId=294AA7A6-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4681-1699
  bibo_doi: 10.1007/978-3-031-90653-4_14
  bibo_volume: 15697
  dct_date: 2025^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0302-9743
  - http://id.crossref.org/issn/1611-3349
  - http://id.crossref.org/issn/9783031906527
  dct_language: eng
  dct_publisher: Springer Nature@
  dct_title: Refuting equivalence in probabilistic programs with conditioning@
...