{"id":"https://openalex.org/W4388717310","doi":"https://doi.org/10.1145/3632905","title":"Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures","display_name":"Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures","publication_year":2024,"publication_date":"2024-01-02","ids":{"openalex":"https://openalex.org/W4388717310","doi":"https://doi.org/10.1145/3632905"},"language":"en","primary_location":{"id":"doi:10.1145/3632905","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632905","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632905","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3632905","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044535154","display_name":"Francesca Randone","orcid":"https://orcid.org/0009-0002-3489-9600"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesca Randone","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy"],"raw_orcid":"https://orcid.org/0009-0002-3489-9600","affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060744592","display_name":"Luca Bortolussi","orcid":"https://orcid.org/0000-0001-8874-4001"},"institutions":[{"id":"https://openalex.org/I142444530","display_name":"University of Trieste","ror":"https://ror.org/02n742c10","country_code":"IT","type":"education","lineage":["https://openalex.org/I142444530"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Bortolussi","raw_affiliation_strings":["University of Trieste, Trieste, Italy"],"raw_orcid":"https://orcid.org/0000-0001-8874-4001","affiliations":[{"raw_affiliation_string":"University of Trieste, Trieste, Italy","institution_ids":["https://openalex.org/I142444530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032978708","display_name":"Emilio Incerto","orcid":"https://orcid.org/0000-0001-6895-6517"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Emilio Incerto","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy"],"raw_orcid":"https://orcid.org/0000-0001-6895-6517","affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037431084","display_name":"Mirco Tribastone","orcid":"https://orcid.org/0000-0002-6018-5989"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Mirco Tribastone","raw_affiliation_strings":["IMT School for Advanced Studies Lucca, Lucca, Italy"],"raw_orcid":"https://orcid.org/0000-0002-6018-5989","affiliations":[{"raw_affiliation_string":"IMT School for Advanced Studies Lucca, Lucca, Italy","institution_ids":["https://openalex.org/I127077003"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.7702,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.90754286,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"8","issue":"POPL","first_page":"1882","last_page":"1912"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9968000054359436,"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"}},"topics":[{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9968000054359436,"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/T13197","display_name":"Spreadsheets and End-User Computing","score":0.9836000204086304,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9778000116348267,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6861593723297119},{"id":"https://openalex.org/keywords/moment","display_name":"Moment (physics)","score":0.6676610112190247},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.6606730222702026},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5850428342819214},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5414348840713501},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5165082812309265},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5081157684326172},{"id":"https://openalex.org/keywords/approximate-inference","display_name":"Approximate inference","score":0.4789372384548187},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4681226313114166},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.45602932572364807},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4241280257701874},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.37514227628707886},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19379428029060364},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.12303563952445984},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.09326973557472229}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6861593723297119},{"id":"https://openalex.org/C179254644","wikidata":"https://www.wikidata.org/wiki/Q13222844","display_name":"Moment (physics)","level":2,"score":0.6676610112190247},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.6606730222702026},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5850428342819214},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5414348840713501},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5165082812309265},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5081157684326172},{"id":"https://openalex.org/C2777472644","wikidata":"https://www.wikidata.org/wiki/Q16968992","display_name":"Approximate inference","level":3,"score":0.4789372384548187},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4681226313114166},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.45602932572364807},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4241280257701874},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37514227628707886},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19379428029060364},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.12303563952445984},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.09326973557472229},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3632905","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632905","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632905","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2311.08235","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.08235","pdf_url":"https://arxiv.org/pdf/2311.08235","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"raw_type":"text"},{"id":"pmh:oai:arts.units.it:11368/3098642","is_oa":true,"landing_page_url":"https://hdl.handle.net/11368/3098642","pdf_url":null,"source":{"id":"https://openalex.org/S4306400480","display_name":"ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I142444530","host_organization_name":"University of Trieste","host_organization_lineage":["https://openalex.org/I142444530"],"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":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1145/3632905","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3632905","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3632905","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4388717310.pdf","grobid_xml":"https://content.openalex.org/works/W4388717310.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W1516111018","https://openalex.org/W1559197676","https://openalex.org/W1718512272","https://openalex.org/W1729037535","https://openalex.org/W1777846110","https://openalex.org/W1965555277","https://openalex.org/W1967327758","https://openalex.org/W1982800675","https://openalex.org/W2017696952","https://openalex.org/W2024385229","https://openalex.org/W2043100293","https://openalex.org/W2057978375","https://openalex.org/W2072396164","https://openalex.org/W2091780923","https://openalex.org/W2126794261","https://openalex.org/W2132565565","https://openalex.org/W2134494829","https://openalex.org/W2137983211","https://openalex.org/W2152692691","https://openalex.org/W2161290831","https://openalex.org/W2184410169","https://openalex.org/W2188564768","https://openalex.org/W2247216366","https://openalex.org/W2295266283","https://openalex.org/W2341971562","https://openalex.org/W2346846619","https://openalex.org/W2390784308","https://openalex.org/W2395654200","https://openalex.org/W2406252837","https://openalex.org/W2478119588","https://openalex.org/W2494200839","https://openalex.org/W2511514052","https://openalex.org/W2577537660","https://openalex.org/W2750765126","https://openalex.org/W2762833920","https://openalex.org/W2926374695","https://openalex.org/W2963626582","https://openalex.org/W3003257820","https://openalex.org/W3016582770","https://openalex.org/W3016895022","https://openalex.org/W3100287873","https://openalex.org/W3107908039","https://openalex.org/W3159836140","https://openalex.org/W3173567886","https://openalex.org/W3207720664","https://openalex.org/W4212863985","https://openalex.org/W4226210383","https://openalex.org/W4236495020","https://openalex.org/W4243718993","https://openalex.org/W4246464108","https://openalex.org/W4248681815","https://openalex.org/W4255072566","https://openalex.org/W4290087462","https://openalex.org/W4294566106","https://openalex.org/W4307731812","https://openalex.org/W6620595438","https://openalex.org/W6637618339"],"related_works":["https://openalex.org/W4226287370","https://openalex.org/W2114556850","https://openalex.org/W2159992248","https://openalex.org/W2215785064","https://openalex.org/W1625332390","https://openalex.org/W2752328056","https://openalex.org/W2951574453","https://openalex.org/W2115836268","https://openalex.org/W2770224089","https://openalex.org/W4379033898"],"abstract_inverted_index":{"Computing":[0],"the":[1,24,49,56,79,99,127],"posterior":[2],"distribution":[3],"of":[4,28,34,98,103,106,123,152,162,171,186],"a":[5,9,29,41,66,121],"probabilistic":[6,26],"program":[7,31,46],"is":[8,38,65,86],"hard":[10],"task":[11],"for":[12],"which":[13,22],"no":[14],"one-fit-for-all":[15],"solution":[16],"exists.":[17],"We":[18,58,113,129],"propose":[19],"Gaussian":[20,35,75,107,117],"Semantics,":[21],"approximates":[23],"exact":[25,80,147],"semantics":[27,81],"bounded":[30],"by":[32,40,141],"means":[33],"mixtures.":[36],"It":[37],"parametrized":[39],"map":[42],"that":[43,89,131,178],"associates":[44],"each":[45],"location":[47],"with":[48,109],"moment":[50,111],"order":[51],"to":[52,92],"be":[53],"matched":[54],"in":[55,96,137,184],"approximation.":[57],"provide":[59,134],"two":[60,159],"main":[61],"contributions.":[62],"The":[63,84],"first":[64],"universal":[67],"approximation":[68,88,118,143],"theorem":[69],"stating":[70],"that,":[71],"under":[72],"mild":[73],"conditions,":[74],"Semantics":[76],"can":[77,133],"approximate":[78],"arbitrarily":[82],"closely.":[83],"second":[85],"an":[87],"matches":[90],"up":[91],"second-order":[93,116],"moments":[94,105],"analytically":[95],"face":[97],"generally":[100],"difficult":[101],"problem":[102],"matching":[104],"mixtures":[108,170],"arbitrary":[110],"order.":[112],"test":[114],"our":[115],"(SOGA)":[119],"on":[120],"number":[122],"case":[124],"studies":[125],"from":[126],"literature.":[128],"show":[130,177],"it":[132],"accurate":[135],"estimates":[136],"models":[138],"not":[139],"supported":[140],"other":[142],"methods":[144],"or":[145,155],"when":[146],"symbolic":[148],"techniques":[149,183],"fail":[150],"because":[151],"complex":[153],"expressions":[154],"non-simplified":[156],"integrals.":[157],"On":[158],"notable":[160],"classes":[161],"problems,":[163],"namely":[164],"collaborative":[165],"filtering":[166],"and":[167,173,188],"programs":[168],"involving":[169],"continuous":[172],"discrete":[174],"distributions,":[175],"we":[176],"SOGA":[179],"significantly":[180],"outperforms":[181],"alternative":[182],"terms":[185],"accuracy":[187],"computational":[189],"time.":[190]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":5}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}