Showing cs.AIShow all
2 papers · 1 filter
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.AI2025
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…