会员服务
Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents
Arxiv
0+阅读 · 6月2日
On the Expressive Power and Limitations of Multi-Layer SSMs
Arxiv
0+阅读 · 4月16日
Fagin's Theorem for Semiring Turing Machines
Arxiv
0+阅读 · 4月26日
On Minimal Depth in Neural Networks
Arxiv
0+阅读 · 3月19日
Edit Distance of Finite-Valued Transducers
Arxiv
0+阅读 · 5月7日
Efficient Decision Procedures for RNmatrix Semantics
Arxiv
0+阅读 · 5月6日
Generalized Schrödinger Bridge on Graphs
Arxiv
0+阅读 · 6月10日
On the Complexity of Checking Soundness of Natural Reductions (Extended Version)
Arxiv
0+阅读 · 5月13日
Efficient Decision Procedures for RNmatrix Semantics
Arxiv
0+阅读 · 5月3日
Time and Relations into Focus: Ontological Foundations of Object-Centric Event Data
Arxiv
0+阅读 · 3月23日
Hierarchical Behaviour Spaces
Arxiv
0+阅读 · 4月27日
When Agda met Vampire
Arxiv
0+阅读 · 2月21日
Never say never: Exploring the effects of available knowledge on agent persuasiveness in controlled physiotherapy motivation dialogues
Arxiv
0+阅读 · 2月20日
Graphing Inline: Understanding Word-scale Graphics Use in Scientific Papers
Arxiv
0+阅读 · 3月11日
Comparative Expressivity for Structured Argumentation Frameworks with Uncertain Rules and Premises
Arxiv
0+阅读 · 2月17日
参考链接
微信扫码咨询专知VIP会员
Top