“Progic 2025: The 12th Workshop on Combining Probability and Logic: Carnegie Mellon University, Pittsburgh, PA — April 3–5, 2025”. 2025. The Reasoner 19 (3). https://doi.org/10.54103/1757-0522/28914.