{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/rethinking-variational-inference-for","title":"Rethinking Variational Inference for Probabilistic Programs with Stochastic Support","arxiv_id":"2311.00594","date":"2023-11-01","proceeding":null,"authors":["Tim Reichelt","Luke Ong","Tom Rainforth"],"abstract":"We introduce Support Decomposition Variational Inference (SDVI), a new variational inference (VI) approach for probabilistic programs with stochastic support. Existing approaches to this problem rely on designing a single global variational guide on a variable-by-variable basis, while maintaining the stochastic control flow of the original program. SDVI instead breaks the program down into sub-programs with static support, before automatically building separate sub-guides for each. This decomposition significantly aids in the construction of suitable variational families, enabling, in turn, substantial improvements in inference performance.","url_abs":"https://arxiv.org/abs/2311.00594v1","url_pdf":"https://arxiv.org/pdf/2311.00594v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"rethinking-variational-inference-for","repo_url":"https://github.com/treigerm/sdvi_neurips","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"pytorch","reach":null}],"tasks":[{"task_slug":"variational-inference","task_name":"Variational Inference"}],"methods":[{"method_slug":"variational-inference","method_name":"Variational Inference"}],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":"https://app.syntology.ai/?focus=2311.00594","mcp":{"get_harvested_code_for_paper":{"arxiv_id":"2311.00594"}},"developers":"https://syntology.ai/developers","read_at":"2026-09-24T18:15:14+00:00","read_at_is":"when the build read Syntology's graph, not when any sample ran","claim":"Per-sample execution status on synthesized fixtures; not a correctness claim about the paper. Samples come from repositories linked to the paper, official or community; repo_kind says which.","repos":[{"provenance":"deterministic:regex_extraction","url":"https://github.com/treigerm/sdvi_neurips","reach":null}],"summary":{"ran":9,"ran_violates":1,"ran_draft_wrong":1,"unverified":6},"by_repo_kind":{"official":{"samples":17,"ran":11,"repositories":1}},"repo_kind_vocabulary":{"official":"The archive marks this repository official for the paper","named_in_paper":"The archive records that the paper mentions this repository; it is not marked official","listed":"In the archive's code links for this paper, not marked official and not recorded as mentioned in the paper","found_in_text":"Syntology found this repository in the paper's own text; whether it is the authors' implementation is not asserted","community":"Not in the archive's code links for this paper; a community repository Syntology harvested"},"n_pointer_only_for_licence":17,"samples":[{"code_sha256_prefix":"b1a574c2fecff0d1","entry":"AutoSLPContinuousGuide","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"b1a574c2fecff0d1"}},{"code_sha256_prefix":"5ae8972f189583f4","entry":"AutoSLPNormalGuide","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"5ae8972f189583f4"}},{"code_sha256_prefix":"531f346b65f0eb8e","entry":"AutoSLPNormalReparamGuide","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"531f346b65f0eb8e"}},{"code_sha256_prefix":"1315b0970685daab","entry":"BranchingTraceHandler","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"1315b0970685daab"}},{"code_sha256_prefix":"91745800733aaaa8","entry":"BranchingTraceMessenger","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"91745800733aaaa8"}},{"code_sha256_prefix":"2789bebbe2c80be1","entry":"LogJointBranchingTraceHandler","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"2789bebbe2c80be1"}},{"code_sha256_prefix":"11b78a5e03fe5199","entry":"NormalNonReparam","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"11b78a5e03fe5199"}},{"code_sha256_prefix":"f1afb7e1349c1cd3","entry":"RepeatedSuccessiveHalving","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"f1afb7e1349c1cd3"}},{"code_sha256_prefix":"e580f246d9dfb0b1","entry":"SuccessiveHalving","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran","verification_level":1,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"e580f246d9dfb0b1"}},{"code_sha256_prefix":"c99d92d5a37bf205","entry":"_product","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran_violates","verification_level":1,"contract_check":"VIOLATES","metamorphic_tier":null,"behaviour_fingerprint":true,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"c99d92d5a37bf205"}},{"code_sha256_prefix":"7e4919b6c726fbc6","entry":"estimate_local_elbo_and_iwae","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"ran_draft_wrong","verification_level":1,"contract_check":"OUTPUT_MISDECLARED","metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"7e4919b6c726fbc6"}},{"code_sha256_prefix":"61e27701e063ea4c","entry":"SDVI","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"61e27701e063ea4c"}},{"code_sha256_prefix":"b37331b09c59790d","entry":"get_sample_addresses","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"b37331b09c59790d"}},{"code_sha256_prefix":"68b81b7f5a79ee01","entry":"inner_loop","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"68b81b7f5a79ee01"}},{"code_sha256_prefix":"ab36e85da2768ab3","entry":"inner_loop_reparam","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"ab36e85da2768ab3"}},{"code_sha256_prefix":"20d6030e177e97e5","entry":"inner_loop_score","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"20d6030e177e97e5"}},{"code_sha256_prefix":"9894f386b29eb59b","entry":"inner_loop_star","repo":"treigerm/sdvi_neurips","repo_kind":"official","path":"models/pyro_extensions/infer.py","file_url":"https://github.com/treigerm/sdvi_neurips/blob/HEAD/models/pyro_extensions/infer.py","link_basis":"first_harvest_node","language":"python","status":"unverified","verification_level":0,"contract_check":null,"metamorphic_tier":null,"behaviour_fingerprint":false,"licence":"NONE","inline_ok":false,"mcp_get_code":{"code_sha256":"9894f386b29eb59b"}}]},"arxiv_metadata":null,"syntology_extracted_results":null}