2 papers
cs.AI2026
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…
cs.AI2026
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,…