Papers
6 papers found
Proof Systems for Tensor-based Model Counting
Olaf Beyersdorff, Joachim Giesen, Andreas Goral et al.
Proof Systems That Tightly Characterise Model Counting Algorithms
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche
Model Counting for Dependency Quantified Boolean Formulas
Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang et al.
Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
Václav Kůla, Qipeng Kuang, Yuyi Wang et al.
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
Beyond Counting: Evaluating Abstract and Emotional Reasoning in Vision-Language Models
Yuan Zhou, Yan Zhang, Jianlong Chang et al.