1 citations · 2 across the 11 of their papers we have counts for
5 papers · 1 filter
CombEval: A Framework for Evaluating Combinatorial Counting in Large Language Models
Yuxu Zhou, Ondřej Kuželka, Yuyi Wang +2
We present CombEval, a dynamic benchmark for evaluating combinatorial counting in large language models. CombEval represents each problem as a typed Cofola specification over entit…
Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
Yuanhong Wang, Juhua Pu, Yuxu Zhou +2
Combinatorial counting problems pervade artificial intelligence, statistics, and discrete mathematics. Whether the task is enumerating subsets, multisets, permutations, partitions,…
Faster Lifting for Ordered Domains with Predecessor Relations
Kuncheng Zou, Jiahao Mai, Yonggang Zhang +4
We investigate lifted inference on ordered domains with predecessor relations, where the elements of the domain respect a total (cyclic) order, and every element has a distinct (cl…
Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
Yuanhong Wang, Juhua Pu, Yuyi Wang +1
Weighted model counting (WMC) is the task of computing the weighted sum of all satisfying assignments (i.e., models) of a propositional formula. Similarly, weighted model sampling…
On Exact Sampling in the Two-Variable Fragment of First-Order Logic
Yuanhong Wang, Juhua Pu, Yuyi Wang +1
In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite…