\begin{thebibliography}{93}
\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\expandafter\ifx\csname urlstyle\endcsname\relax
  \providecommand{\doi}[1]{doi: #1}\else
  \providecommand{\doi}{doi: \begingroup \urlstyle{rm}\Url}\fi

\bibitem[Abboud et~al.(2022)Abboud, Ceylan, and
  Dimitrov]{abboud2022approximate}
Ralph Abboud, {\.I}smail~{\.I}lkan Ceylan, and Radoslav Dimitrov.
\newblock Approximate weighted model integration on dnf structures.
\newblock \emph{Artificial Intelligence}, 311:\penalty0 103753, 2022.

\bibitem[Afshar et~al.(2016)Afshar, Sanner, and Webers]{algebraicgibbs}
Hadi~Mohasel Afshar, Scott Sanner, and Christfried Webers.
\newblock Closed-form gibbs sampling for graphical models with algebraic
  constraints.
\newblock In Dale Schuurmans and Michael~P. Wellman, editors, \emph{Proceedings
  of the Thirtieth {AAAI} Conference on Artificial Intelligence, February
  12-17, 2016, Phoenix, Arizona, {USA}}, pages 3287--3293. {AAAI} Press, 2016.
\newblock \doi{10.1609/AAAI.V30I1.10419}.
\newblock URL \url{https://doi.org/10.1609/aaai.v30i1.10419}.

\bibitem[Ahmed et~al.(2022{\natexlab{a}})Ahmed, Teso, Chang, Van~den Broeck,
  and Vergari]{ahmed2022semantic}
Kareem Ahmed, Stefano Teso, Kai-Wei Chang, Guy Van~den Broeck, and Antonio
  Vergari.
\newblock {Semantic Probabilistic Layers for Neuro-Symbolic Learning}.
\newblock In \emph{NeurIPS}, 2022{\natexlab{a}}.

\bibitem[Ahmed et~al.(2022{\natexlab{b}})Ahmed, Teso, Chang, Van~den Broeck,
  and Vergari]{spl}
Kareem Ahmed, Stefano Teso, Kai-Wei Chang, Guy Van~den Broeck, and Antonio
  Vergari.
\newblock Semantic probabilistic layers for neuro-symbolic learning.
\newblock \emph{Advances in Neural Information Processing Systems},
  35:\penalty0 29944--29959, 2022{\natexlab{b}}.

\bibitem[Ahmed et~al.(2023)Ahmed, Chang, and den Broeck]{semanticloss2}
Kareem Ahmed, Kai{-}Wei Chang, and Guy~Van den Broeck.
\newblock A pseudo-semantic loss for autoregressive models with logical
  constraints.
\newblock In Alice Oh, Tristan Naumann, Amir Globerson, Kate Saenko, Moritz
  Hardt, and Sergey Levine, editors, \emph{Advances in Neural Information
  Processing Systems 36: Annual Conference on Neural Information Processing
  Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023},
  2023.

\bibitem[Amenta et~al.(2007)Amenta, Attali, and
  Devillers]{10.5555/1283383.1283502}
Nina Amenta, Dominique Attali, and Olivier Devillers.
\newblock Complexity of delaunay triangulation for points on lower-dimensional
  polyhedra.
\newblock In \emph{Proceedings of the Eighteenth Annual ACM-SIAM Symposium on
  Discrete Algorithms}, SODA '07, page 1106–1113, USA, 2007. Society for
  Industrial and Applied Mathematics.
\newblock ISBN 9780898716245.

\bibitem[Baldoni et~al.(2008)Baldoni, Berline, Loera, K{\"o}ppe, and
  Vergne]{Baldoni2008HowTI}
Velleda Baldoni, Nicole Berline, Jes{\'u}s A.~De Loera, Matthias K{\"o}ppe, and
  Mich{\`e}le Vergne.
\newblock How to integrate a polynomial over a simplex.
\newblock \emph{Math. Comput.}, 80:\penalty0 297--325, 2008.
\newblock URL \url{https://api.semanticscholar.org/CorpusID:569190}.

\bibitem[Baldoni et~al.(2011)Baldoni, Berline, De~Loera, K{\"o}ppe, and
  Vergne]{baldoni2011integrate}
Velleda Baldoni, Nicole Berline, Jesus De~Loera, Matthias K{\"o}ppe, and
  Mich{\`e}le Vergne.
\newblock How to integrate a polynomial over a simplex.
\newblock \emph{Mathematics of Computation}, 80\penalty0 (273):\penalty0
  297--325, 2011.

\bibitem[Baldoni et~al.(2014)Baldoni, Berline, De~Loera, Dutra, K{\"o}ppe,
  Moreinis, Pinto, Vergne, and Wu]{latte}
Velleda Baldoni, Nicole Berline, Jes{\'u}s~A De~Loera, Brandon Dutra, Matthias
  K{\"o}ppe, Stanislav Moreinis, Gregory Pinto, Michele Vergne, and Jianqiu Wu.
\newblock A user’s guide for latte integrale v1. 7.2.
\newblock \emph{Optimization}, 22\penalty0 (2), 2014.

\bibitem[Barber et~al.(1996)Barber, Dobkin, and
  Huhdanpaa]{10.1145/235815.235821}
C.~Bradford Barber, David~P. Dobkin, and Hannu Huhdanpaa.
\newblock The quickhull algorithm for convex hulls.
\newblock \emph{ACM Trans. Math. Softw.}, 22\penalty0 (4):\penalty0 469–483,
  December 1996.
\newblock ISSN 0098-3500.
\newblock \doi{10.1145/235815.235821}.
\newblock URL \url{https://doi.org/10.1145/235815.235821}.

\bibitem[Barrett et~al.(2021)Barrett, Sebastiani, Seshia, and
  Tinelli]{barrettsst21}
Clark~W. Barrett, Roberto Sebastiani, Sanjit~A. Seshia, and Cesare Tinelli.
\newblock Satisfiability {{Modulo Theories}}.
\newblock In \emph{Handbook of {{Satisfiability}}}, volume 336, chapter~33,
  pages 1267--1329. {IOS Press}, 2nd edition, 2021.

\bibitem[Belle et~al.(2015)Belle, Passerini, and den Broeck]{wmi}
Vaishak Belle, Andrea Passerini, and Guy~Van den Broeck.
\newblock Probabilistic inference in hybrid domains by weighted model
  integration.
\newblock In Qiang Yang and Michael~J. Wooldridge, editors, \emph{Proceedings
  of the Twenty-Fourth International Joint Conference on Artificial
  Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, pages
  2770--2776. {AAAI} Press, 2015.
\newblock URL \url{http://ijcai.org/Abstract/15/392}.

\bibitem[Beltran et~al.(2024)Beltran, Vergari, Teckentrup, and
  Zygalakis]{beltran2024galerkin}
Christian~Jimenez Beltran, Antonio Vergari, Aretha~L Teckentrup, and
  Konstantinos~C Zygalakis.
\newblock Galerkin meets laplace: Fast uncertainty estimation in neural pdes.
\newblock In \emph{ICLR 2024 Workshop on AI4DifferentialEquations In Science},
  2024.

\bibitem[Beucler et~al.(2020)Beucler, Pritchard, Gentine, and
  Rasp]{beucler2020towards}
Tom Beucler, Michael Pritchard, Pierre Gentine, and Stephan Rasp.
\newblock Towards physically-consistent, data-driven models of convection.
\newblock In \emph{Igarss 2020-2020 ieee international geoscience and remote
  sensing symposium}, pages 3987--3990. IEEE, 2020.

\bibitem[Beucler et~al.(2021)Beucler, Pritchard, Rasp, Ott, Baldi, and
  Gentine]{PhysRevLett.126.098302}
Tom Beucler, Michael Pritchard, Stephan Rasp, Jordan Ott, Pierre Baldi, and
  Pierre Gentine.
\newblock Enforcing analytic constraints in neural networks emulating physical
  systems.
\newblock \emph{Phys. Rev. Lett.}, 126:\penalty0 098302, Mar 2021.
\newblock \doi{10.1103/PhysRevLett.126.098302}.
\newblock URL \url{https://link.aps.org/doi/10.1103/PhysRevLett.126.098302}.

\bibitem[Bishop(1994)]{bishop1994mixture}
Christopher~M Bishop.
\newblock Mixture density networks.
\newblock 1994.

\bibitem[Bortolotti et~al.(2024)Bortolotti, Marconato, Carraro, Morettin, van
  Krieken, Vergari, Teso, and Passerini]{bortolotti2024benchmark}
Samuele Bortolotti, Emanuele Marconato, Tommaso Carraro, Paolo Morettin, Emile
  van Krieken, Antonio Vergari, Stefano Teso, and Andrea Passerini.
\newblock A benchmark suite for systematically evaluating reasoning shortcuts.
\newblock \emph{NeurIPS Dataset and Benchmarks}, 2024.

\bibitem[Chazelle(1993)]{10.1007/BF02573985}
Bernard Chazelle.
\newblock An optimal convex hull algorithm in any fixed dimension.
\newblock \emph{Discrete Comput. Geom.}, 10\penalty0 (4):\penalty0 377–409,
  December 1993.
\newblock ISSN 0179-5376.
\newblock \doi{10.1007/BF02573985}.
\newblock URL \url{https://doi.org/10.1007/BF02573985}.

\bibitem[Cheng et~al.(2024)Cheng, Chrysos, Georgopoulos, and
  Cevher]{chengmultilinear}
Yixin Cheng, Grigorios Chrysos, Markos Georgopoulos, and Volkan Cevher.
\newblock Multilinear operator networks.
\newblock In \emph{The Twelfth International Conference on Learning
  Representations}, 2024.

\bibitem[Chin and Sukumar(2020)]{chin2020efficient}
Eric~B Chin and N~Sukumar.
\newblock An efficient method to integrate polynomials over polytopes and
  curved solids.
\newblock \emph{Computer Aided Geometric Design}, 82:\penalty0 101914, 2020.

\bibitem[Choi et~al.(2020)Choi, Vergari, and Van~den
  Broeck]{choi2020probabilistic}
YooJung Choi, Antonio Vergari, and Guy Van~den Broeck.
\newblock Probabilistic circuits: A unifying framework for tractable
  probabilistic models.
\newblock 2020.

\bibitem[Darwiche and Marquis(2002)]{darwiche2002knowledge}
Adnan Darwiche and Pierre Marquis.
\newblock A knowledge compilation map.
\newblock \emph{Journal of Artificial Intelligence Research}, 17:\penalty0
  229--264, 2002.

\bibitem[De~Raedt et~al.(2021)De~Raedt, Duman{\v{c}}i{\'c}, Manhaeve, and
  Marra]{de2021statistical}
Luc De~Raedt, Sebastijan Duman{\v{c}}i{\'c}, Robin Manhaeve, and Giuseppe
  Marra.
\newblock From statistical relational to neural-symbolic artificial
  intelligence.
\newblock In \emph{Proceedings of the Twenty-Ninth International Conference on
  International Joint Conferences on Artificial Intelligence}, pages
  4943--4950, 2021.

\bibitem[De~Smet and Dos~Martires(2024)]{defast}
Lennert De~Smet and Pedro~Zuidberg Dos~Martires.
\newblock A fast convoluted story: Scaling probabilistic inference for integer
  arithmetics.
\newblock In \emph{The Thirty-eighth Annual Conference on Neural Information
  Processing Systems}, 2024.

\bibitem[De~Smet et~al.(2023{\natexlab{a}})De~Smet, Martires, Manhaeve, Marra,
  Kimmig, and Raedt]{deepseaproblog}
Lennert De~Smet, Pedro Zuidberg~Dos Martires, Robin Manhaeve, Giuseppe Marra,
  Angelika Kimmig, and Luc~De Raedt.
\newblock Neural probabilistic logic programming in discrete-continuous
  domains.
\newblock In Robin~J. Evans and Ilya Shpitser, editors, \emph{Uncertainty in
  Artificial Intelligence, {UAI} 2023, July 31 - 4 August 2023, Pittsburgh, PA,
  {USA}}, volume 216 of \emph{Proceedings of Machine Learning Research}, pages
  529--538. {PMLR}, 2023{\natexlab{a}}.
\newblock URL \url{https://proceedings.mlr.press/v216/de-smet23a.html}.

\bibitem[De~Smet et~al.(2023{\natexlab{b}})De~Smet, Sansone, and Zuidberg
  Dos~Martires]{de2023differentiable}
Lennert De~Smet, Emanuele Sansone, and Pedro Zuidberg Dos~Martires.
\newblock Differentiable sampling of categorical distributions using the
  catlog-derivative trick.
\newblock \emph{Advances in Neural Information Processing Systems}, 36,
  2023{\natexlab{b}}.

\bibitem[Defazio et~al.(2024)Defazio, Yang, Mehta, Mishchenko, Khaled, and
  Cutkosky]{Defazio2024TheRL}
Aaron Defazio, Xingyu Yang, Harsh Mehta, Konstantin Mishchenko, Ahmed Khaled,
  and Ashok Cutkosky.
\newblock The road less scheduled.
\newblock \emph{ArXiv}, abs/2405.15682, 2024.
\newblock URL \url{https://api.semanticscholar.org/CorpusID:270045085}.

\bibitem[Diligenti et~al.(2017)Diligenti, Gori, and Sacc{\`{a}}]{sbr}
Michelangelo Diligenti, Marco Gori, and Claudio Sacc{\`{a}}.
\newblock Semantic-based regularization for learning and inference.
\newblock \emph{Artif. Intell.}, 244:\penalty0 143--165, 2017.
\newblock \doi{10.1016/J.ARTINT.2015.08.011}.
\newblock URL \url{https://doi.org/10.1016/j.artint.2015.08.011}.

\bibitem[{Dos Martires} et~al.(2019){Dos Martires}, Dries, and Raedt]{sampo}
Pedro~Zuidberg {Dos Martires}, Anton Dries, and Luc~De Raedt.
\newblock Exact and approximate weighted model integration with probability
  density functions using knowledge compilation.
\newblock In \emph{The Thirty-Third {AAAI} Conference on Artificial
  Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of
  Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium
  on Educational Advances in Artificial Intelligence, {EAAI} 2019, Honolulu,
  Hawaii, USA, January 27 - February 1, 2019}, pages 7825--7833. {AAAI} Press,
  2019.
\newblock \doi{10.1609/AAAI.V33I01.33017825}.
\newblock URL \url{https://doi.org/10.1609/aaai.v33i01.33017825}.

\bibitem[Durkan et~al.(2019)Durkan, Bekasov, Murray, and
  Papamakarios]{DBLP:conf/nips/DurkanB0P19}
Conor Durkan, Artur Bekasov, Iain Murray, and George Papamakarios.
\newblock Neural spline flows.
\newblock In Hanna~M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence
  d'Alch{\'{e}}{-}Buc, Emily~B. Fox, and Roman Garnett, editors, \emph{Advances
  in Neural Information Processing Systems 32: Annual Conference on Neural
  Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019,
  Vancouver, BC, Canada}, pages 7509--7520, 2019.
\newblock URL
  \url{https://proceedings.neurips.cc/paper/2019/hash/7ac71d433f282034e088473244df8c02-Abstract.html}.

\bibitem[Fischer et~al.(2019)Fischer, Balunovic, Drachsler{-}Cohen, Gehr,
  Zhang, and Vechev]{dl2}
Marc Fischer, Mislav Balunovic, Dana Drachsler{-}Cohen, Timon Gehr, Ce~Zhang,
  and Martin~T. Vechev.
\newblock {DL2:} training and querying neural networks with logic.
\newblock In Kamalika Chaudhuri and Ruslan Salakhutdinov, editors,
  \emph{Proceedings of the 36th International Conference on Machine Learning,
  {ICML} 2019, 9-15 June 2019, Long Beach, California, {USA}}, volume~97 of
  \emph{Proceedings of Machine Learning Research}, pages 1931--1941. {PMLR},
  2019.
\newblock URL \url{http://proceedings.mlr.press/v97/fischer19a.html}.

\bibitem[Garcez et~al.(2019)Garcez, Gori, Lamb, Serafini, Spranger, and
  Tran]{garcez2019neural}
A~Garcez, M~Gori, LC~Lamb, L~Serafini, M~Spranger, and SN~Tran.
\newblock Neural-symbolic computing: An effective methodology for principled
  integration of machine learning and reasoning.
\newblock \emph{Journal of Applied Logics}, 6\penalty0 (4):\penalty0 611--632,
  2019.

\bibitem[Garcez et~al.(2022)Garcez, Bader, Bowman, Lamb, de~Penning, Illuminoo,
  Poon, and Gerson~Zaverucha]{garcez2022neural}
Artur~d’Avila Garcez, Sebastian Bader, Howard Bowman, Luis~C Lamb, Leo
  de~Penning, BV~Illuminoo, Hoifung Poon, and COPPE Gerson~Zaverucha.
\newblock Neural-symbolic learning and reasoning: A survey and interpretation.
\newblock \emph{Neuro-Symbolic Artificial Intelligence: The State of the Art},
  342:\penalty0 1, 2022.

\bibitem[Giunchiglia and Lukasiewicz(2020)]{giunchiglia2020coherent}
Eleonora Giunchiglia and Thomas Lukasiewicz.
\newblock Coherent hierarchical multi-label classification networks.
\newblock \emph{NeurIPS}, 2020.

\bibitem[Giunchiglia et~al.(2023)Giunchiglia, Stoian, Khan, Cuzzolin, and
  Lukasiewicz]{giunchiglia2023road}
Eleonora Giunchiglia, Mihaela~C{\u{a}}t{\u{a}}lina Stoian, Salman Khan, Fabio
  Cuzzolin, and Thomas Lukasiewicz.
\newblock Road-r: The autonomous driving dataset with logical requirements.
\newblock \emph{Machine Learning}, pages 1--31, 2023.

\bibitem[Glorot et~al.(2011)Glorot, Bordes, and
  Bengio]{DBLP:journals/jmlr/GlorotBB11}
Xavier Glorot, Antoine Bordes, and Yoshua Bengio.
\newblock Deep sparse rectifier neural networks.
\newblock In Geoffrey~J. Gordon, David~B. Dunson, and Miroslav Dud{\'{\i}}k,
  editors, \emph{Proceedings of the Fourteenth International Conference on
  Artificial Intelligence and Statistics, {AISTATS} 2011, Fort Lauderdale, USA,
  April 11-13, 2011}, volume~15 of \emph{{JMLR} Proceedings}, pages 315--323.
  JMLR.org, 2011.
\newblock URL \url{http://proceedings.mlr.press/v15/glorot11a/glorot11a.pdf}.

\bibitem[Goyal et~al.(2024)Goyal, Dumancic, and Blockeel]{deepsade}
Kshitij Goyal, Sebastijan Dumancic, and Hendrik Blockeel.
\newblock Deepsade: Learning neural networks that guarantee domain constraint
  satisfaction.
\newblock In Michael~J. Wooldridge, Jennifer~G. Dy, and Sriraam Natarajan,
  editors, \emph{Thirty-Eighth {AAAI} Conference on Artificial Intelligence,
  {AAAI} 2024, Thirty-Sixth Conference on Innovative Applications of Artificial
  Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances in
  Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
  Canada}, pages 12199--12207. {AAAI} Press, 2024.
\newblock \doi{10.1609/AAAI.V38I11.29109}.
\newblock URL \url{https://doi.org/10.1609/aaai.v38i11.29109}.

\bibitem[Grivas et~al.(2024)Grivas, Vergari, and Lopez]{grivas2024taming}
Andreas Grivas, Antonio Vergari, and Adam Lopez.
\newblock Taming the sigmoid bottleneck: Provably argmaxable sparse multi-label
  classification.
\newblock In \emph{Proceedings of the AAAI Conference on Artificial
  Intelligence}, volume~38, pages 12208--12216, 2024.

\bibitem[Grundmann and M\"{o}ller(1978)]{doi:10.1137/0715019}
Axel Grundmann and H.~M. M\"{o}ller.
\newblock Invariant integration formulas for the n-simplex by combinatorial
  methods.
\newblock \emph{SIAM Journal on Numerical Analysis}, 15\penalty0 (2):\penalty0
  282--290, 1978.
\newblock \doi{10.1137/0715019}.
\newblock URL \url{https://doi.org/10.1137/0715019}.

\bibitem[Harder et~al.(2023)Harder, Hern{\'{a}}ndez{-}Garc{\'{\i}}a, Ramesh,
  Yang, Sattegeri, Szwarcman, Watson, and
  Rolnick]{DBLP:journals/jmlr/HarderHRYSSWR23}
Paula Harder, Alex Hern{\'{a}}ndez{-}Garc{\'{\i}}a, Venkatesh Ramesh, Qidong
  Yang, Prasanna Sattegeri, Daniela Szwarcman, Campbell~D. Watson, and David
  Rolnick.
\newblock Hard-constrained deep learning for climate downscaling.
\newblock \emph{J. Mach. Learn. Res.}, 24:\penalty0 365:1--365:40, 2023.
\newblock URL \url{http://jmlr.org/papers/v24/23-0158.html}.

\bibitem[Hinton(2002)]{hinton2002training}
Geoffrey~E Hinton.
\newblock Training products of experts by minimizing contrastive divergence.
\newblock \emph{Neural computation}, 14\penalty0 (8):\penalty0 1771--1800,
  2002.

\bibitem[Hoernle et~al.(2022)Hoernle, Karampatsis, Belle, and
  Gal]{hoernle2022multiplexnet}
Nick Hoernle, Rafael~Michael Karampatsis, Vaishak Belle, and Kobi Gal.
\newblock Multiplexnet: Towards fully satisfied logical constraints in neural
  networks.
\newblock In \emph{AAAI}, 2022.

\bibitem[Kaibel and Pfetsch(2002)]{kaibel2002algorithmicproblemspolytopetheory}
Volker Kaibel and Marc~E. Pfetsch.
\newblock Some algorithmic problems in polytope theory, 2002.
\newblock URL \url{https://arxiv.org/abs/math/0202204}.

\bibitem[Kingma and Ba(2015{\natexlab{a}})]{DBLP:journals/corr/KingmaB14}
Diederik~P. Kingma and Jimmy Ba.
\newblock Adam: {A} method for stochastic optimization.
\newblock In Yoshua Bengio and Yann LeCun, editors, \emph{3rd International
  Conference on Learning Representations, {ICLR} 2015, San Diego, CA, USA, May
  7-9, 2015, Conference Track Proceedings}, 2015{\natexlab{a}}.
\newblock URL \url{http://arxiv.org/abs/1412.6980}.

\bibitem[Kingma and Ba(2015{\natexlab{b}})]{KingmaB14@adam}
Diederik~P. Kingma and Jimmy Ba.
\newblock Adam: {A} method for stochastic optimization.
\newblock In Yoshua Bengio and Yann LeCun, editors, \emph{3rd International
  Conference on Learning Representations, {ICLR} 2015, San Diego, CA, USA, May
  7-9, 2015, Conference Track Proceedings}, 2015{\natexlab{b}}.
\newblock URL \url{http://arxiv.org/abs/1412.6980}.

\bibitem[Kolb et~al.(2018{\natexlab{a}})Kolb, Mladenov, Sanner, Belle, and
  Kersting]{DBLP:conf/ijcai/KolbMSBK18}
Samuel Kolb, Martin Mladenov, Scott Sanner, Vaishak Belle, and Kristian
  Kersting.
\newblock Efficient symbolic integration for probabilistic inference.
\newblock In J{\'{e}}r{\^{o}}me Lang, editor, \emph{Proceedings of the
  Twenty-Seventh International Joint Conference on Artificial Intelligence,
  {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden}, pages 5031--5037.
  ijcai.org, 2018{\natexlab{a}}.
\newblock \doi{10.24963/IJCAI.2018/698}.
\newblock URL \url{https://doi.org/10.24963/ijcai.2018/698}.

\bibitem[Kolb et~al.(2018{\natexlab{b}})Kolb, Teso, Passerini, and
  Raedt]{incal}
Samuel Kolb, Stefano Teso, Andrea Passerini, and Luc~De Raedt.
\newblock Learning {SMT(LRA)} constraints using {SMT} solvers.
\newblock In J{\'{e}}r{\^{o}}me Lang, editor, \emph{Proceedings of the
  Twenty-Seventh International Joint Conference on Artificial Intelligence,
  {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden}, pages 2333--2340.
  ijcai.org, 2018{\natexlab{b}}.
\newblock \doi{10.24963/IJCAI.2018/323}.
\newblock URL \url{https://doi.org/10.24963/ijcai.2018/323}.

\bibitem[Li et~al.(2020)Li, Kovachki, Azizzadenesheli, Liu, Bhattacharya,
  Stuart, and Anandkumar]{li2020fourier}
Zongyi Li, Nikola Kovachki, Kamyar Azizzadenesheli, Burigede Liu, Kaushik
  Bhattacharya, Andrew Stuart, and Anima Anandkumar.
\newblock Fourier neural operator for parametric partial differential
  equations.
\newblock \emph{arXiv preprint arXiv:2010.08895}, 2020.

\bibitem[Liu and Nocedal(1989)]{liu1989limited}
Dong~C Liu and Jorge Nocedal.
\newblock On the limited memory bfgs method for large scale optimization.
\newblock \emph{Mathematical programming}, 45\penalty0 (1):\penalty0 503--528,
  1989.

\bibitem[Loconte and Vergari(2025)]{loconte2025faster}
Lorenzo Loconte and Antonio Vergari.
\newblock On faster marginalization with squared circuits via
  orthonormalization.
\newblock In \emph{CoLoRAI - The AAAI25 Workshop on Connecting Low-rank
  Representations in AI}, 2025.
\newblock URL \url{https://openreview.net/forum?id=WTRBDY9m3n}.

\bibitem[Loconte et~al.(2024)Loconte, Aleksanteri, Mengel, Trapp, Solin,
  Gillis, and Vergari]{loconte2024subtractive}
Lorenzo Loconte, M.~Sladek Aleksanteri, Stefan Mengel, Martin Trapp, Arno
  Solin, Nicolas Gillis, and Antonio Vergari.
\newblock Subtractive mixture models via squaring: Representation and learning.
\newblock In \emph{The Twelfth International Conference on Learning
  Representations}, 2024.
\newblock URL \url{https://openreview.net/forum?id=xIHi5nxu9P}.

\bibitem[Loconte et~al.(2025{\natexlab{a}})Loconte, Mari, Gala, Peharz,
  de~Campos, Quaeghebeur, Vessio, and
  Vergari]{loconte2025relationshiptensorfactorizationscircuits}
Lorenzo Loconte, Antonio Mari, Gennaro Gala, Robert Peharz, Cassio de~Campos,
  Erik Quaeghebeur, Gennaro Vessio, and Antonio Vergari.
\newblock What is the relationship between tensor factorizations and circuits
  (and how can we exploit it)?
\newblock \emph{Transactions of Machine Learning Research}, 2025{\natexlab{a}}.
\newblock URL \url{https://openreview.net/forum?id=Y7dRmpGiHj}.

\bibitem[Loconte et~al.(2025{\natexlab{b}})Loconte, Mengel, and
  Vergari]{loconte2024sos}
Lorenzo Loconte, Stefan Mengel, and Antonio Vergari.
\newblock Sum of squares circuits.
\newblock In \emph{The 39th Annual AAAI Conference on Artificial Intelligence},
  2025{\natexlab{b}}.

\bibitem[Lu et~al.(2021)Lu, Pestourie, Yao, Wang, Verdugo, and
  Johnson]{lu2021physics}
Lu~Lu, Raphael Pestourie, Wenjie Yao, Zhicheng Wang, Francesc Verdugo, and
  Steven~G Johnson.
\newblock Physics-informed neural networks with hard constraints for inverse
  design.
\newblock \emph{SIAM Journal on Scientific Computing}, 43\penalty0
  (6):\penalty0 B1105--B1132, 2021.

\bibitem[Manhaeve et~al.(2018)Manhaeve, Dumancic, Kimmig, Demeester, and
  De~Raedt]{manhaeve2018deepproblog}
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and Luc
  De~Raedt.
\newblock {DeepProbLog: Neural Probabilistic Logic Programming}.
\newblock \emph{NeurIPS}, 2018.

\bibitem[Manhaeve et~al.(2021)Manhaeve, Dumancic, Kimmig, Demeester, and
  Raedt]{deepproblog}
Robin Manhaeve, Sebastijan Dumancic, Angelika Kimmig, Thomas Demeester, and
  Luc~De Raedt.
\newblock Neural probabilistic logic programming in deepproblog.
\newblock \emph{Artif. Intell.}, 298:\penalty0 103504, 2021.
\newblock \doi{10.1016/J.ARTINT.2021.103504}.
\newblock URL \url{https://doi.org/10.1016/j.artint.2021.103504}.

\bibitem[Marconato et~al.(2023)Marconato, Teso, Vergari, and
  Passerini]{marconato2023not}
Emanuele Marconato, Stefano Teso, Antonio Vergari, and Andrea Passerini.
\newblock Not all neuro-symbolic concepts are created equal: Analysis and
  mitigation of reasoning shortcuts.
\newblock In \emph{NeurIPS}, 2023.

\bibitem[Marconato et~al.(2024)Marconato, Bortolotti, van Krieken, Vergari,
  Passerini, and Teso]{marconato2024bears}
Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Antonio Vergari,
  Andrea Passerini, and Stefano Teso.
\newblock {BEARS Make Neuro-Symbolic Models Aware of their Reasoning
  Shortcuts}.
\newblock \emph{Uncertainty in AI}, 2024.

\bibitem[Marra et~al.(2024)Marra, Dumancic, Manhaeve, and Raedt]{nesysurvey}
Giuseppe Marra, Sebastijan Dumancic, Robin Manhaeve, and Luc~De Raedt.
\newblock From statistical relational to neurosymbolic artificial intelligence:
  {A} survey.
\newblock \emph{Artif. Intell.}, 328:\penalty0 104062, 2024.
\newblock \doi{10.1016/J.ARTINT.2023.104062}.
\newblock URL \url{https://doi.org/10.1016/j.artint.2023.104062}.

\bibitem[Meurer et~al.(2017{\natexlab{a}})Meurer, Smith, Paprocki,
  \v{C}ert\'{i}k, Kirpichev, Rocklin, Kumar, Ivanov, Moore, Singh, Rathnayake,
  Vig, Granger, Muller, Bonazzi, Gupta, Vats, Johansson, Pedregosa, Curry,
  Terrel, Rou\v{c}ka, Saboo, Fernando, Kulal, Cimrman, and Scopatz]{sympy}
Aaron Meurer, Christopher~P. Smith, Mateusz Paprocki, Ond\v{r}ej
  \v{C}ert\'{i}k, Sergey~B. Kirpichev, Matthew Rocklin, AMiT Kumar, Sergiu
  Ivanov, Jason~K. Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian~E.
  Granger, Richard~P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats,
  Fredrik Johansson, Fabian Pedregosa, Matthew~J. Curry, Andy~R. Terrel,
  \v{S}t\v{e}p\'{a}n Rou\v{c}ka, Ashutosh Saboo, Isuru Fernando, Sumith Kulal,
  Robert Cimrman, and Anthony Scopatz.
\newblock Sympy: symbolic computing in python.
\newblock \emph{PeerJ Computer Science}, 3:\penalty0 e103, January
  2017{\natexlab{a}}.
\newblock ISSN 2376-5992.
\newblock \doi{10.7717/peerj-cs.103}.
\newblock URL \url{https://doi.org/10.7717/peerj-cs.103}.

\bibitem[Meurer et~al.(2017{\natexlab{b}})Meurer, Smith, Paprocki,
  \v{C}ert\'{i}k, Kirpichev, Rocklin, Kumar, Ivanov, Moore, Singh, Rathnayake,
  Vig, Granger, Muller, Bonazzi, Gupta, Vats, Johansson, Pedregosa, Curry,
  Terrel, Rou\v{c}ka, Saboo, Fernando, Kulal, Cimrman, and
  Scopatz]{10.7717/peerj-cs.103}
Aaron Meurer, Christopher~P. Smith, Mateusz Paprocki, Ond\v{r}ej
  \v{C}ert\'{i}k, Sergey~B. Kirpichev, Matthew Rocklin, AMiT Kumar, Sergiu
  Ivanov, Jason~K. Moore, Sartaj Singh, Thilina Rathnayake, Sean Vig, Brian~E.
  Granger, Richard~P. Muller, Francesco Bonazzi, Harsh Gupta, Shivam Vats,
  Fredrik Johansson, Fabian Pedregosa, Matthew~J. Curry, Andy~R. Terrel,
  \v{S}t\v{e}p\'{a}n Rou\v{c}ka, Ashutosh Saboo, Isuru Fernando, Sumith Kulal,
  Robert Cimrman, and Anthony Scopatz.
\newblock Sympy: symbolic computing in python.
\newblock \emph{PeerJ Computer Science}, 3:\penalty0 e103, January
  2017{\natexlab{b}}.
\newblock ISSN 2376-5992.
\newblock \doi{10.7717/peerj-cs.103}.
\newblock URL \url{https://doi.org/10.7717/peerj-cs.103}.

\bibitem[Morettin et~al.(2017)Morettin, Passerini, and Sebastiani]{wmipa}
Paolo Morettin, Andrea Passerini, and Roberto Sebastiani.
\newblock Efficient weighted model integration via smt-based predicate
  abstraction.
\newblock In Carles Sierra, editor, \emph{Proceedings of the Twenty-Sixth
  International Joint Conference on Artificial Intelligence, {IJCAI} 2017,
  Melbourne, Australia, August 19-25, 2017}, pages 720--728. ijcai.org, 2017.
\newblock \doi{10.24963/IJCAI.2017/100}.
\newblock URL \url{https://doi.org/10.24963/ijcai.2017/100}.

\bibitem[Morettin et~al.(2020)Morettin, Kolb, Teso, and Passerini]{lariat}
Paolo Morettin, Samuel Kolb, Stefano Teso, and Andrea Passerini.
\newblock Learning weighted model integration distributions.
\newblock In \emph{The Thirty-Fourth {AAAI} Conference on Artificial
  Intelligence, {AAAI} 2020, The Thirty-Second Innovative Applications of
  Artificial Intelligence Conference, {IAAI} 2020, The Tenth {AAAI} Symposium
  on Educational Advances in Artificial Intelligence, {EAAI} 2020, New York,
  NY, USA, February 7-12, 2020}, pages 5224--5231. {AAAI} Press, 2020.
\newblock \doi{10.1609/AAAI.V34I04.5967}.
\newblock URL \url{https://doi.org/10.1609/aaai.v34i04.5967}.

\bibitem[Morettin et~al.(2021)Morettin, Martires, Kolb, and
  Passerini]{wmisurvey}
Paolo Morettin, Pedro Zuidberg~Dos Martires, Samuel Kolb, and Andrea Passerini.
\newblock Hybrid probabilistic inference with logical and algebraic
  constraints: a survey.
\newblock In Zhi{-}Hua Zhou, editor, \emph{Proceedings of the Thirtieth
  International Joint Conference on Artificial Intelligence, {IJCAI} 2021,
  Virtual Event / Montreal, Canada, 19-27 August 2021}, pages 4533--4542.
  ijcai.org, 2021.
\newblock \doi{10.24963/IJCAI.2021/617}.
\newblock URL \url{https://doi.org/10.24963/ijcai.2021/617}.

\bibitem[Morettin et~al.(2024)Morettin, Passerini, and
  Sebastiani]{morettin2024unified}
Paolo Morettin, Andrea Passerini, and Roberto Sebastiani.
\newblock A unified framework for probabilistic verification of ai systems via
  weighted model integration.
\newblock \emph{arXiv preprint arXiv:2402.04892}, 2024.

\bibitem[Paszke et~al.(2019{\natexlab{a}})Paszke, Gross, Massa, Lerer,
  Bradbury, Chanan, Killeen, Lin, Gimelshein, Antiga, Desmaison, K{\"{o}}pf,
  Yang, DeVito, Raison, Tejani, Chilamkurthy, Steiner, Fang, Bai, and
  Chintala]{DBLP:journals/corr/abs-1912-01703}
Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory
  Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban
  Desmaison, Andreas K{\"{o}}pf, Edward~Z. Yang, Zach DeVito, Martin Raison,
  Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu~Fang, Junjie Bai, and
  Soumith Chintala.
\newblock Pytorch: An imperative style, high-performance deep learning library.
\newblock \emph{CoRR}, abs/1912.01703, 2019{\natexlab{a}}.
\newblock URL \url{http://arxiv.org/abs/1912.01703}.

\bibitem[Paszke et~al.(2019{\natexlab{b}})Paszke, Gross, Massa, Lerer,
  Bradbury, Chanan, Killeen, Lin, Gimelshein, Antiga,
  et~al.]{paszke2019pytorch}
Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory
  Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, et~al.
\newblock Pytorch: An imperative style, high-performance deep learning library.
\newblock \emph{Advances in neural information processing systems}, 32,
  2019{\natexlab{b}}.

\bibitem[Pfrommer et~al.(2022)Pfrommer, Gautam, Zhou, and
  Sojoudi]{DBLP:conf/l4dc/PfrommerGZS22}
Samuel Pfrommer, Tanmay Gautam, Alec Zhou, and Somayeh Sojoudi.
\newblock Safe reinforcement learning with chance-constrained model predictive
  control.
\newblock In Roya Firoozi, Negar Mehr, Esen Yel, Rika Antonova, Jeannette Bohg,
  Mac Schwager, and Mykel~J. Kochenderfer, editors, \emph{Learning for Dynamics
  and Control Conference, {L4DC} 2022, 23-24 June 2022, Stanford University,
  Stanford, CA, {USA}}, volume 168 of \emph{Proceedings of Machine Learning
  Research}, pages 291--303. {PMLR}, 2022.
\newblock URL \url{https://proceedings.mlr.press/v168/pfrommer22a.html}.

\bibitem[Raissi et~al.(2019)Raissi, Perdikaris, and
  Karniadakis]{raissi2019physics}
Maziar Raissi, Paris Perdikaris, and George~E Karniadakis.
\newblock Physics-informed neural networks: A deep learning framework for
  solving forward and inverse problems involving nonlinear partial differential
  equations.
\newblock \emph{Journal of Computational physics}, 378:\penalty0 686--707,
  2019.

\bibitem[Ren et~al.(2024)Ren, Chen, Sung, Ahn, Mitchell, and
  Kamgarpour]{DBLP:journals/corr/abs-2401-03799}
Kai Ren, Colin Chen, Hyeontae Sung, Heejin Ahn, Ian~M. Mitchell, and Maryam
  Kamgarpour.
\newblock Safe chance-constrained model predictive control under gaussian
  mixture model uncertainty.
\newblock \emph{CoRR}, abs/2401.03799, 2024.
\newblock \doi{10.48550/ARXIV.2401.03799}.
\newblock URL \url{https://doi.org/10.48550/arXiv.2401.03799}.

\bibitem[Robicquet et~al.(2016)Robicquet, Sadeghian, Alahi, and
  Savarese]{DBLP:conf/eccv/RobicquetSAS16}
Alexandre Robicquet, Amir Sadeghian, Alexandre Alahi, and Silvio Savarese.
\newblock Learning social etiquette: Human trajectory understanding in crowded
  scenes.
\newblock In Bastian Leibe, Jiri Matas, Nicu Sebe, and Max Welling, editors,
  \emph{Computer Vision - {ECCV} 2016 - 14th European Conference, Amsterdam,
  The Netherlands, October 11-14, 2016, Proceedings, Part {VIII}}, volume 9912
  of \emph{Lecture Notes in Computer Science}, pages 549--565. Springer, 2016.
\newblock \doi{10.1007/978-3-319-46484-8\_33}.
\newblock URL \url{https://doi.org/10.1007/978-3-319-46484-8\_33}.

\bibitem[Seidel(1995)]{SEIDEL1995115}
Raimund Seidel.
\newblock The upper bound theorem for polytopes: an easy proof of its
  asymptotic version.
\newblock \emph{Computational Geometry}, 5\penalty0 (2):\penalty0 115--116,
  1995.
\newblock ISSN 0925-7721.
\newblock \doi{https://doi.org/10.1016/0925-7721(95)00013-Y}.
\newblock URL
  \url{https://www.sciencedirect.com/science/article/pii/092577219500013Y}.

\bibitem[Smith(1980)]{smith1980practical}
Philip~W Smith.
\newblock A practical guide to splines (carl de boor).
\newblock \emph{SIAM Review}, 22\penalty0 (4):\penalty0 520, 1980.

\bibitem[Spallitta et~al.(2022)Spallitta, Masina, Morettin, Passerini, and
  Sebastiani]{wmisapa}
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, and
  Roberto Sebastiani.
\newblock Smt-based weighted model integration with structure awareness.
\newblock In James Cussens and Kun Zhang, editors, \emph{Uncertainty in
  Artificial Intelligence, Proceedings of the Thirty-Eighth Conference on
  Uncertainty in Artificial Intelligence, {UAI} 2022, 1-5 August 2022,
  Eindhoven, The Netherlands}, volume 180 of \emph{Proceedings of Machine
  Learning Research}, pages 1876--1885. {PMLR}, 2022.
\newblock URL \url{https://proceedings.mlr.press/v180/spallitta22a.html}.

\bibitem[Spallitta et~al.(2024)Spallitta, Masina, Morettin, Passerini, and
  Sebastiani]{sae4wmi}
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, and
  Roberto Sebastiani.
\newblock Enhancing smt-based weighted model integration by structure
  awareness.
\newblock \emph{Artif. Intell.}, 328:\penalty0 104067, 2024.
\newblock \doi{10.1016/J.ARTINT.2024.104067}.
\newblock URL \url{https://doi.org/10.1016/j.artint.2024.104067}.

\bibitem[Stewart and Ermon(2017)]{DBLP:conf/aaai/StewartE17}
Russell Stewart and Stefano Ermon.
\newblock Label-free supervision of neural networks with physics and domain
  knowledge.
\newblock In Satinder Singh and Shaul Markovitch, editors, \emph{Proceedings of
  the Thirty-First {AAAI} Conference on Artificial Intelligence, February 4-9,
  2017, San Francisco, California, {USA}}, pages 2576--2582. {AAAI} Press,
  2017.
\newblock \doi{10.1609/AAAI.V31I1.10934}.
\newblock URL \url{https://doi.org/10.1609/aaai.v31i1.10934}.

\bibitem[Stoian et~al.(2024{\natexlab{a}})Stoian, Dyrmishi, Cordy, Lukasiewicz,
  and Giunchiglia]{cdgm}
Mihaela~C. Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz, and
  Eleonora Giunchiglia.
\newblock How realistic is your synthetic data? constraining deep generative
  models for tabular data.
\newblock In \emph{The Twelfth International Conference on Learning
  Representations, {ICLR} 2024, Vienna, Austria, May 7-11, 2024}.
  OpenReview.net, 2024{\natexlab{a}}.
\newblock URL \url{https://openreview.net/forum?id=tBROYsEz9G}.

\bibitem[Stoian et~al.(2024{\natexlab{b}})Stoian, Tatomir, Lukasiewicz, and
  Giunchiglia]{pishield}
Mihaela~C. Stoian, Alex Tatomir, Thomas Lukasiewicz, and Eleonora Giunchiglia.
\newblock Pishield: {A} pytorch package for learning with requirements.
\newblock In \emph{Proceedings of the Thirty-Third International Joint
  Conference on Artificial Intelligence, {IJCAI} 2024, Jeju, South Korea,
  August 3-9, 2024}, pages 8805--8809. ijcai.org, 2024{\natexlab{b}}.
\newblock URL \url{https://www.ijcai.org/proceedings/2024/1037}.

\bibitem[Stoian and Giunchiglia(2025)]{DBLP:journals/corr/abs-2502-18237}
Mihaela~Catalina Stoian and Eleonora Giunchiglia.
\newblock Beyond the convexity assumption: Realistic tabular data generation
  under quantifier-free real linear constraints.
\newblock \emph{CoRR}, abs/2502.18237, 2025.
\newblock \doi{10.48550/ARXIV.2502.18237}.
\newblock URL \url{https://doi.org/10.48550/arXiv.2502.18237}.

\bibitem[Stoian et~al.(2024{\natexlab{c}})Stoian, Dyrmishi, Cordy, Lukasiewicz,
  and Giunchiglia]{DBLP:journals/corr/abs-2402-04823}
Mihaela~Catalina Stoian, Salijona Dyrmishi, Maxime Cordy, Thomas Lukasiewicz,
  and Eleonora Giunchiglia.
\newblock How realistic is your synthetic data? constraining deep generative
  models for tabular data.
\newblock \emph{CoRR}, abs/2402.04823, 2024{\natexlab{c}}.
\newblock \doi{10.48550/ARXIV.2402.04823}.
\newblock URL \url{https://doi.org/10.48550/arXiv.2402.04823}.

\bibitem[van Krieken et~al.(2024)van Krieken, Minervini, M.~Ponti, and
  Vergari]{van2024Independence}
Emile van Krieken, Pasquale Minervini, Edoardo M.~Ponti, and Antonio Vergari.
\newblock On the independence assumption in neurosymbolic learning.
\newblock In \emph{International Conference on Machine Learning}. PMLR, 2024.

\bibitem[Vergari et~al.(2021)Vergari, Choi, Liu, Teso, and Van~den
  Broeck]{vergari2021compositional}
Antonio Vergari, YooJung Choi, Anji Liu, Stefano Teso, and Guy Van~den Broeck.
\newblock A compositional atlas of tractable circuit operations for
  probabilistic inference.
\newblock \emph{Advances in Neural Information Processing Systems}, 34, 2021.

\bibitem[Willard et~al.(2020)Willard, Jia, Xu, Steinbach, and
  Kumar]{willard2020integrating}
Jared Willard, Xiaowei Jia, Shaoming Xu, Michael Steinbach, and Vipin Kumar.
\newblock Integrating physics-based modeling with machine learning: A survey.
\newblock \emph{arXiv preprint arXiv:2003.04919}, 1\penalty0 (1):\penalty0
  1--34, 2020.

\bibitem[Wu et~al.(2023)Wu, Liu, Zhan, and Cheng]{DBLP:journals/pami/WuLZC23}
Yu{-}Huan Wu, Yun Liu, Xin Zhan, and Ming{-}Ming Cheng.
\newblock {P2T:} pyramid pooling transformer for scene understanding.
\newblock \emph{{IEEE} Trans. Pattern Anal. Mach. Intell.}, 45\penalty0
  (11):\penalty0 12760--12771, 2023.
\newblock \doi{10.1109/TPAMI.2022.3202765}.
\newblock URL \url{https://doi.org/10.1109/TPAMI.2022.3202765}.

\bibitem[Xu et~al.(2018)Xu, Zhang, Friedman, Liang, and den
  Broeck]{semanticloss1}
Jingyi Xu, Zilu Zhang, Tal Friedman, Yitao Liang, and Guy~Van den Broeck.
\newblock A semantic loss function for deep learning with symbolic knowledge.
\newblock In Jennifer~G. Dy and Andreas Krause, editors, \emph{Proceedings of
  the 35th International Conference on Machine Learning, {ICML} 2018,
  Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July 10-15, 2018}, volume~80 of
  \emph{Proceedings of Machine Learning Research}, pages 5498--5507. {PMLR},
  2018.
\newblock URL \url{http://proceedings.mlr.press/v80/xu18h.html}.

\bibitem[Xu et~al.(2020)Xu, Yang, Gong, Lin, Wu, Li, and
  Vasconcelos]{xu2020boia}
Yiran Xu, Xiaoyin Yang, Lihang Gong, Hsuan-Chu Lin, Tz-Ying Wu, Yunsheng Li,
  and Nuno Vasconcelos.
\newblock Explainable object-induced action decision for autonomous vehicles.
\newblock In \emph{IEEE/CVF Conference on Computer Vision and Pattern
  Recognition (CVPR)}, June 2020.

\bibitem[You et~al.(2017)You, Ding, Canini, Pfeifer, and Gupta]{deeplattice}
Seungil You, David Ding, Kevin~Robert Canini, Jan Pfeifer, and Maya~R. Gupta.
\newblock Deep lattice networks and partial monotonic functions.
\newblock In Isabelle Guyon, Ulrike von Luxburg, Samy Bengio, Hanna~M. Wallach,
  Rob Fergus, S.~V.~N. Vishwanathan, and Roman Garnett, editors, \emph{Advances
  in Neural Information Processing Systems 30: Annual Conference on Neural
  Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA,
  {USA}}, pages 2981--2989, 2017.
\newblock URL
  \url{https://proceedings.neurips.cc/paper/2017/hash/464d828b85b0bed98e80ade0a5c43b0f-Abstract.html}.

\bibitem[Zaheer et~al.(2017)Zaheer, Kottur, Ravanbakhsh, P{\'{o}}czos,
  Salakhutdinov, and Smola]{deepsets}
Manzil Zaheer, Satwik Kottur, Siamak Ravanbakhsh, Barnab{\'{a}}s P{\'{o}}czos,
  Ruslan Salakhutdinov, and Alexander~J. Smola.
\newblock Deep sets.
\newblock In Isabelle Guyon, Ulrike von Luxburg, Samy Bengio, Hanna~M. Wallach,
  Rob Fergus, S.~V.~N. Vishwanathan, and Roman Garnett, editors, \emph{Advances
  in Neural Information Processing Systems 30: Annual Conference on Neural
  Information Processing Systems 2017, December 4-9, 2017, Long Beach, CA,
  {USA}}, pages 3391--3401, 2017.
\newblock URL
  \url{https://proceedings.neurips.cc/paper/2017/hash/f22e4747da1aa27e363d86d40ff442fe-Abstract.html}.

\bibitem[Zeng and {Van den Broeck}(2019)]{wmireduction}
Zhe Zeng and Guy {Van den Broeck}.
\newblock Efficient search-based weighted model integration.
\newblock In Amir Globerson and Ricardo Silva, editors, \emph{Proceedings of
  the Thirty-Fifth Conference on Uncertainty in Artificial Intelligence, {UAI}
  2019, Tel Aviv, Israel, July 22-25, 2019}, volume 115 of \emph{Proceedings of
  Machine Learning Research}, pages 175--185. {AUAI} Press, 2019.
\newblock URL \url{http://proceedings.mlr.press/v115/zeng20a.html}.

\bibitem[Zeng and Van~den Broeck(2023)]{zeng2023collapsed}
Zhe Zeng and Guy Van~den Broeck.
\newblock Collapsed inference for bayesian deep learning.
\newblock \emph{Advances in Neural Information Processing Systems},
  36:\penalty0 78394--78411, 2023.

\bibitem[Zeng et~al.(2020{\natexlab{a}})Zeng, Morettin, Yan, Vergari, and
  Van~den Broeck]{zeng2020probabilistic}
Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, and Guy Van~den Broeck.
\newblock Probabilistic inference with algebraic constraints: Theoretical
  limits and practical approximations.
\newblock \emph{Advances in Neural Information Processing Systems},
  33:\penalty0 11564--11575, 2020{\natexlab{a}}.

\bibitem[Zeng et~al.(2020{\natexlab{b}})Zeng, Morettin, Yan, Vergari, and
  Van~den Broeck]{zeng2020scaling}
Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, and Guy Van~den Broeck.
\newblock Scaling up hybrid probabilistic inference with logical and arithmetic
  constraints via message passing.
\newblock In \emph{International Conference on Machine Learning}, pages
  10990--11000. PMLR, 2020{\natexlab{b}}.

\bibitem[Zeng et~al.(2021)Zeng, Morettin, Yan, Vergari, Passerini, Van~den
  Broeck, et~al.]{zeng2021parameter}
Zhe Zeng, Paolo Morettin, Fanqi Yan, Antonio Vergari, Andrea Passerini, Guy
  Van~den Broeck, et~al.
\newblock Is parameter learning via weighted model integration tractable?
\newblock In \emph{4th Workshop on Tractable Probabilistic Modeling}. UAI,
  2021.

\end{thebibliography}
