会员服务
Dynamic Tracing: a graphical language for rewriting protocols
Arxiv
0+阅读 · 2023年5月1日
The Formal Theory of Monads, Univalently
Arxiv
0+阅读 · 2023年4月28日
Large Linguistic Models: Analyzing theoretical linguistic abilities of LLMs
Arxiv
0+阅读 · 2023年5月1日
Set-Theoretic and Type-Theoretic Ordinals Coincide
Arxiv
0+阅读 · 2023年4月30日
Exponential separations using guarded extension variables
Arxiv
0+阅读 · 2023年4月30日
Using Z3 for Formal Modeling and Verification of FNN Global Robustness
Arxiv
0+阅读 · 2023年4月20日
SoK: Let the Privacy Games Begin! A Unified Treatment of Data Inference Privacy in Machine Learning
Arxiv
0+阅读 · 2023年4月20日
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity
Arxiv
0+阅读 · 2023年4月21日
Fundamental Limitations of Alignment in Large Language Models
Arxiv
1+阅读 · 2023年4月19日
Port-Hamiltonian formulation and structure-preserving discretization of hyperelastic strings
Arxiv
0+阅读 · 2023年4月21日
Interval Parsing Grammars for File Format Parsing
Arxiv
0+阅读 · 2023年4月21日
Complexity-Approximation Trade-offs in Exchange Mechanisms: AMMs vs. LOBs
Arxiv
0+阅读 · 2023年4月19日
A genuinely untyped solution to the knower paradoxes
Arxiv
0+阅读 · 2023年4月20日
On the uniform one-dimensional fragment
Arxiv
0+阅读 · 2023年4月19日
Introducing longitudinal modified treatment policies: a unified framework for studying complex exposures
Arxiv
0+阅读 · 2023年4月19日
参考链接
微信扫码咨询专知VIP会员
Top