ENTITY
CatalyzeX
CatalyzeX
PulseAugur coverage of CatalyzeX — every cluster mentioning CatalyzeX across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
2
2 over 90d
TIER MIX · 90D
RECENT · PAGE 1/1 · 2 TOTAL
-
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)…