会员服务
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日
Structural Subtyping as Parametric Polymorphism
Arxiv
0+阅读 · 2023年4月17日
A Logical Account of Subtyping for Session Types
Arxiv
0+阅读 · 2023年4月13日
TransHP: Image Classification with Hierarchical Prompting
Arxiv
0+阅读 · 2023年4月13日
Conjunctive Regular Path Queries under Injective Semantics
Arxiv
0+阅读 · 2023年4月13日
Markov Chains and Unambiguous Automata
Arxiv
0+阅读 · 2023年4月7日
Handling Wikidata Qualifiers in Reasoning
Arxiv
0+阅读 · 2023年4月6日
Gallai-like characterization of strong cocomparability graphs
Arxiv
0+阅读 · 2023年4月2日
Reviewer Assignment Problem: A Systematic Review of the Literature
Arxiv
0+阅读 · 2023年4月4日
Reviewer Assignment Problem: A Systematic Review of the Literature
Arxiv
0+阅读 · 2023年4月1日
Minimal Session Types for the $π$-calculus (Extended Version)
Arxiv
0+阅读 · 2023年4月6日
参考链接
微信扫码咨询专知VIP会员
Top