实体
CatalyzeX
CatalyzeX
PulseAugur coverage of CatalyzeX — every cluster mentioning CatalyzeX across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
最近 · 第 1/1 页 · 共 2 条
-
AI researchers propose new logic for defeasible conditional obligations
This paper introduces a novel two-tiered semantic framework for modeling defeasible conditional obligations, building upon preference-based semantics for deontic logic. It incorporates a nonmonotonic reasoning mechanism…
-
GNNs show promise for SDPs and code generation, but expressive power and verification remain complex
Researchers are exploring the expressive power of Graph Neural Networks (GNNs) for solving complex optimization problems. One paper demonstrates that while standard GNNs struggle with linear Semidefinite Programs (SDPs)…