Solving Combinatorial Counting Problems with Weighted First-Order Model Counting 文章

ArXiv CS.AI2026-05-26NEWSen作者: Yuanhong Wang, Juhua Pu, Yuxu Zhou, Yuyi Wang, Ond\v{r}ej Ku\v{z}elka
查看原文 →
关系图谱

Solving Combinatorial Counting Problems with Weighted First-Order Model Counting · 相关技术

相关技术

Artificial IntelligenceORMODEPLAstatisticsdivide-and-conquer partitioningVADUCTReferring expression comprehension (REC)Parts-of-Speech (POS) tagsNATMITForfirst-order logicFOLEffort Metric AttentionComposed image retrievalCodingCamouflaged object detectionCISANNTable