会员服务
Uniform Value and Decidability in Ergodic Blind Stochastic Games
Arxiv
0+阅读 · 11月21日
Structural and Spectral Properties of Strictly Interval Graphs
Arxiv
0+阅读 · 12月1日
Spectral Certificates and Sum-of-Squares Lower Bounds for Semirandom Hamiltonians
Arxiv
0+阅读 · 11月4日
Spectral Certificates and Sum-of-Squares Lower Bounds for Semirandom Hamiltonians
Arxiv
0+阅读 · 11月10日
A Complementary Approach to Incorrectness Typing
Arxiv
0+阅读 · 11月28日
Edge open packing on subclasses of chordal graphs
Arxiv
0+阅读 · 11月9日
Saliency Map-Guided Knowledge Discovery for Subclass Identification with LLM-Based Symbolic Approximations
Arxiv
0+阅读 · 11月10日
AdapTT: Functoriality for Dependent Type Casts
Arxiv
0+阅读 · 12月8日
New Algebrization Barriers to Circuit Lower Bounds via Communication Complexity of Missing-String
Arxiv
0+阅读 · 11月18日
Logical Expressibility of Syntactic NL for Complementarity, Monotonicity, and Maximization
Arxiv
0+阅读 · 11月6日
Language Model Analysis for Ontology Subsumption Inference
Arxiv
1+阅读 · 2023年5月2日
Qualitative Analysis of a Graph Transformer Approach to Addressing Hate Speech: Adapting to Dynamically Changing Content
Arxiv
0+阅读 · 2023年5月1日
Revisiting Membership Problems in Subclasses of Rational Relations
Arxiv
0+阅读 · 2023年4月21日
Counting Computations with Formulae: Logical Characterisations of Counting Complexity Classes
Arxiv
0+阅读 · 2023年4月20日
Bounds on Maximum Weight Directed Cut
Arxiv
0+阅读 · 2023年4月20日
参考链接
微信扫码咨询专知VIP会员
Top