Beyersdorff, Olaf, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche, and Christoph Staudt. 2026. “Proof Systems for Tensor-Based Model Counting”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (17):14175-83. https://doi.org/10.1609/aaai.v40i17.38430.