% Key papers for Exact inference for probabilistic programs (scime atlas, https://atlas.scime.ai). Authors are not included: add them from the paper pages.

@inproceedings{neurips2016_fast_55732,
  title = {{Fast ε-free Inference of Simulation Models with Bayesian Conditional Density Estimation}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2016},
  url = {https://nips.cc/virtual/2016/poster/7328},
}

@inproceedings{icml2016_phog_35942,
  title = {{PHOG: Probabilistic Model for Code}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2016},
  url = {https://proceedings.mlr.press/v48/bielik16.html},
}

@inproceedings{iclr2017_deep_28283,
  title = {{Deep Probabilistic Programming}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2017},
  url = {https://openreview.net/forum?id=Hy6b4Pqee},
}

@inproceedings{neurips2018_a_56798,
  title = {{A Likelihood-Free Inference Framework for Population Genetic Data using Exchangeable Neural Networks}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2018},
  url = {https://nips.cc/virtual/2018/poster/11821},
}

@inproceedings{icml2019_automatic_37170,
  title = {{Automatic Posterior Transformation for Likelihood-Free Inference}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2019},
  url = {https://icml.cc/virtual/2019/poster/4268},
}

@inproceedings{neurips2019_expressive_58247,
  title = {{Expressive power of tensor-network factorizations for probabilistic modeling}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2019},
  url = {https://nips.cc/virtual/2019/poster/13366},
}

@inproceedings{aaai2016_approximate_105358,
  title = {{Approximate Probabilistic Inference via Word-Level Counting}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10416},
}

@inproceedings{aaai2022_deepstochlog_1950,
  title = {{DeepStochLog: Neural Stochastic Logic Programming}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2022},
  url = {https://aaai.org/papers/10090-deepstochlog-neural-stochastic-logic-programming/},
}

@inproceedings{neurips2016_one_55909,
  title = {{One-vs-Each Approximation to Softmax for Scalable Estimation of Probabilities}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2016},
  url = {https://nips.cc/virtual/2016/poster/7070},
}

@inproceedings{aaai2019_exact_103287,
  title = {{Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2019},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/4780},
}

@inproceedings{icml2019_on_37608,
  title = {{On the Limitations of Representing Functions on Sets}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2019},
  url = {https://icml.cc/virtual/2019/poster/4106},
}

@inproceedings{icml2020_einsum_38156,
  title = {{Einsum Networks: Fast and Scalable Learning of Tractable Probabilistic Circuits}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2020},
  url = {https://icml.cc/virtual/2020/poster/6418},
}

@inproceedings{aaai2020_lifted_103254,
  title = {{Lifted Fact-Alternating Mutex Groups and Pruned Grounding of Classical Planning Problems}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2020},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/6536},
}

@inproceedings{aaai2016_learning_105003,
  title = {{Learning Tractable Probabilistic Models for Fault Localization}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2016},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/10175},
}

@inproceedings{neurips2016_sampling_55979,
  title = {{Sampling for Bayesian Program Learning}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2016},
  url = {https://nips.cc/virtual/2016/poster/6950},
}

@inproceedings{neurips2016_inference_55789,
  title = {{Inference by Reparameterization in Neural Population Codes}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2016},
  url = {https://nips.cc/virtual/2016/poster/7200},
}

@inproceedings{neurips2016_statistical_56006,
  title = {{Statistical Inference for Pairwise Graphical Models Using Score Matching}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2016},
  url = {https://nips.cc/virtual/2016/poster/7135},
}

@inproceedings{neurips2018_implicit_57222,
  title = {{Implicit Probabilistic Integrators for ODEs}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2018},
  url = {https://nips.cc/virtual/2018/poster/11698},
}

@inproceedings{aaai2018_maximum_101466,
  title = {{Maximum A Posteriori Inference in Sum-Product Networks}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2018},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/11550},
}

@inproceedings{aaai2020_learning_101845,
  title = {{Learning to Reason: Leveraging Neural Networks for Approximate DNF Counting}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2020},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/5705},
}

@inproceedings{aaai2024_colour_5424,
  title = {{Colour Passing Revisited: Lifted Model Construction with Commutative Factors}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/30034},
}

@inproceedings{aaai2025_structural_10855,
  title = {{Structural Entropy Guided Probabilistic Coding}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/33920},
}

@inproceedings{aaai2024_neural_6766,
  title = {{Neural Network Approximators for Marginal MAP in Probabilistic Circuits}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/28966},
}

@inproceedings{neurips2024_consistency_71485,
  title = {{Consistency Models for Scalable and Fast Simulation-Based Inference}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/95775},
}

@inproceedings{aaai2024_probabilistic_6993,
  title = {{Probabilistic Neural Circuits}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2024},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/29675},
}

@inproceedings{aaai2025_on_10183,
  title = {{On the Relationship Between Monotone and Squared Probabilistic Circuits}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/35399},
}

@inproceedings{icml2024_exact_43269,
  title = {{Exact Soft Analytical Side-Channel Attacks using Tractable Circuits}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/35183},
}

@inproceedings{icml2024_total_43527,
  title = {{Total Variation Distance Meets Probabilistic Inference}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/34925},
}

@inproceedings{aaai2025_scalable_10682,
  title = {{Scalable and Efficient Probabilistic Inference for Bayesian Deep Learning and Generative Modeling}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/35129},
}

@inproceedings{aaai2025_sum_10871,
  title = {{Sum of Squares Circuits}},
  booktitle = {AAAI Conference on Artificial Intelligence (AAAI)},
  year = {2025},
  url = {https://ojs.aaai.org/index.php/AAAI/article/view/34100},
}

@inproceedings{iclr2024_delta_34220,
  title = {{Delta-AI: Local objectives for amortized inference in sparse graphical models}},
  booktitle = {International Conference on Learning Representations (ICLR)},
  year = {2024},
  url = {https://iclr.cc/virtual/2024/poster/18855},
}

@inproceedings{icml2024_gambling_45301,
  title = {{Gambling-Based Confidence Sequences for Bounded Random Vectors}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2024},
  url = {https://icml.cc/virtual/2024/poster/33151},
}

@inproceedings{icml2025_solving_47674,
  title = {{Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/44923},
}

@inproceedings{icml2025_joint_48893,
  title = {{Joint Learning of Energy-based Models and their Partition Function}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2025},
  url = {https://icml.cc/virtual/2025/poster/43730},
}

@inproceedings{icml2026_probmoe_49995,
  title = {{ProbMoE: Differentiable Probabilistic Routing for Mixture-of-Experts}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=7zOtnPt85B},
}

@inproceedings{icml2026_geometry_53201,
  title = {{Geometry-Aware Probabilistic Circuits via Voronoi Tessellations}},
  booktitle = {International Conference on Machine Learning (ICML)},
  year = {2026},
  url = {https://openreview.net/forum?id=d9LsOCOB9z},
}

@inproceedings{neurips2024_a_71930,
  title = {{A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetics}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/95376},
}

@inproceedings{neurips2024_expected_73223,
  title = {{Expected Probabilistic Hierarchies}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/94213},
}

@inproceedings{neurips2024_a_74300,
  title = {{A Neural Network Approach for Efficiently Answering Most Probable Explanation Queries in Probabilistic Models}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2024},
  url = {https://neurips.cc/virtual/2024/poster/93258},
}

@inproceedings{neurips2025_embeddings_79613,
  title = {{Embeddings as Probabilistic Equivalence in Logic Programs}},
  booktitle = {Advances in Neural Information Processing Systems (NeurIPS)},
  year = {2025},
  url = {https://openreview.net/forum?id=rEUbDhWaXh},
}