{"id":"https://openalex.org/W4367190716","doi":"https://doi.org/10.48550/arxiv.2304.13504","title":"Deterministic stream-sampling for probabilistic programming: semantics and verification","display_name":"Deterministic stream-sampling for probabilistic programming: semantics and verification","publication_year":2023,"publication_date":"2023-04-26","ids":{"openalex":"https://openalex.org/W4367190716","doi":"https://doi.org/10.48550/arxiv.2304.13504"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2304.13504","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2304.13504","pdf_url":"https://arxiv.org/pdf/2304.13504","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2304.13504","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069664027","display_name":"Fredrik Dahlqvist","orcid":"https://orcid.org/0000-0003-2555-0490"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dahlqvist, Fredrik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100658822","display_name":"Alexandra Silva","orcid":"https://orcid.org/0000-0001-5014-9784"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Silva, Alexandra","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5070177847","display_name":"William L. Smith","orcid":"https://orcid.org/0000-0002-7858-8532"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Smith, William","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9944000244140625,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9851999878883362,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9821000099182129,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6738166213035583},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.6525400876998901},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6500920057296753},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6482723951339722},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5867249369621277},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49618440866470337},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4930858314037323},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.46232086420059204},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2378878891468048}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6738166213035583},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.6525400876998901},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6500920057296753},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6482723951339722},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5867249369621277},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49618440866470337},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4930858314037323},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.46232086420059204},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2378878891468048}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2304.13504","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2304.13504","pdf_url":"https://arxiv.org/pdf/2304.13504","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10175457","is_oa":true,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10175457/","pdf_url":"https://discovery.ucl.ac.uk/10175457/1/main.pdf","source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"     In:  2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).    IEEE: Boston, MA, USA. (2023)     ","raw_type":"Proceedings paper"},{"id":"doi:10.48550/arxiv.2304.13504","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2304.13504","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2304.13504","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2304.13504","pdf_url":"https://arxiv.org/pdf/2304.13504","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4367190716.pdf","grobid_xml":"https://content.openalex.org/works/W4367190716.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3036972880","https://openalex.org/W3129725704","https://openalex.org/W2072493788","https://openalex.org/W2257517306","https://openalex.org/W91938043","https://openalex.org/W1768718906","https://openalex.org/W1988438613","https://openalex.org/W2245685274","https://openalex.org/W2158105805","https://openalex.org/W3007870257"],"abstract_inverted_index":{"Probabilistic":[0],"programming":[1,17,47,88],"languages":[2,18,48],"rely":[3],"fundamentally":[4],"on":[5,91],"some":[6],"notion":[7,93],"of":[8,45,59,67,94,110,139,147,160,172,182],"sampling,":[9],"and":[10,52,96,105,174],"this":[11,101,151],"is":[12,40,62,70,77],"doubly":[13],"true":[14],"for":[15,49,142,156],"probabilistic":[16,46,60,87],"which":[19],"perform":[20],"Bayesian":[21],"inference":[22,76],"using":[23,79,128],"Monte":[24],"Carlo":[25],"techniques.":[26],"Verifying":[27],"samplers":[28,95],"-":[29,39],"proving":[30],"that":[31,73,185],"they":[32],"generate":[33],"samples":[34],"from":[35],"the":[36,43,55,92,129,145,157],"correct":[37],"distribution":[38],"crucial":[41],"to":[42,132,168,178],"use":[44],"statistical":[50,75],"modelling":[51],"inference.":[53],"However,":[54],"typical":[56],"denotational":[57,106],"semantics":[58,107],"programs":[61],"incompatible":[63],"with":[64],"deterministic":[65],"notions":[66],"sampling.":[68],"This":[69,135],"problematic,":[71],"considering":[72],"most":[74],"performed":[78],"pseudorandom":[80],"number":[81],"generators.":[82],"We":[83,99,163],"present":[84,164],"a":[85,175,186,190],"higher-order":[86],"language":[89,102,117],"centred":[90],"sampler":[97,161,187],"operations.":[98],"give":[100],"an":[103,165],"operational":[104],"in":[108,144],"terms":[109],"continuous":[111],"maps":[112],"between":[113,125],"topological":[114],"spaces.":[115],"Our":[116],"also":[118],"supports":[119],"discontinuous":[120],"operations,":[121],"such":[122],"as":[123],"comparisons":[124],"reals,":[126],"by":[127,193],"type":[130],"system":[131],"track":[133],"discontinuities.":[134],"feature":[136],"might":[137],"be":[138],"independent":[140],"interest,":[141],"example":[143],"context":[146],"differentiable":[148],"programming.":[149],"Using":[150],"language,":[152],"we":[153],"develop":[154],"tools":[155],"formal":[158],"verification":[159],"correctness.":[162],"equational":[166],"calculus":[167,177],"reason":[169],"about":[170],"equivalence":[171],"samplers,":[173,183],"sound":[176],"prove":[179],"semantic":[180],"correctness":[181],"i.e.":[184],"correctly":[188],"targets":[189],"given":[191],"measure":[192],"construction.":[194]},"counts_by_year":[],"updated_date":"2026-06-13T07:54:00.901334","created_date":"2025-10-10T00:00:00"}