 Mixtures of All TreesInternational Conference on Artificial Intelligence and Statistics (AISTATS), 2023 |
 Enhancing SMT-based Weighted Model Integration by Structure AwarenessArtificial Intelligence (AIJ), 2023 |
 SMT-based Weighted Model Integration with Structure AwarenessConference on Uncertainty in Artificial Intelligence (UAI), 2022 |
 Handling Epistemic and Aleatory Uncertainties in Probabilistic CircuitsMachine-mediated learning (ML), 2021 |
 Fairness in Machine Learning with Tractable ModelsKnowledge-Based Systems (KBS), 2019 |
 Projected Model CountingInternational Conference on Theory and Applications of Satisfiability Testing (SAT), 2015 |
 First-Order Decomposition TreesNeural Information Processing Systems (NeurIPS), 2013 |
