会员服务
Syntactic Systems Cannot See Semantic Invariants
Arxiv
0+阅读 · 6月15日
The Discrete-Log Clock: How a Transformer Learns Modular Multiplication
Arxiv
0+阅读 · 6月16日
Fuzzy PSI from Symmetric Primitives with Exact Logarithmic Dependence on Distance Threshold
Arxiv
0+阅读 · 6月13日
On the number of finite additive 2-bases
Arxiv
0+阅读 · 5月21日
All elementary functions from a single binary operator
Arxiv
0+阅读 · 4月4日
Satisfiability in Łukasiewicz logic and its unbounded relative
Arxiv
0+阅读 · 5月27日
Numbers Already Carry Their Own Embeddings
Arxiv
0+阅读 · 6月12日
The Role of Semirings in Incremental View Maintenance
Arxiv
0+阅读 · 6月5日
Feedback vertex sets of planar digraphs with fixed digirth
Arxiv
0+阅读 · 5月12日
Proof Nets for PiL (Full Version)
Arxiv
0+阅读 · 5月14日
Quantitative Linear Logic
Arxiv
0+阅读 · 5月14日
An Exact 56-Addition, Rank-23 Scheme for General 3*3 Matrix Multiplication
Arxiv
0+阅读 · 4月30日
The complexity of Presburger arithmetic with power or powers
Arxiv
0+阅读 · 5月22日
Scalable and Private Federated Learning Using Distributed Differential Privacy and Secure Aggregation
Arxiv
0+阅读 · 6月6日
Polynomial Lower Bounds for Arithmetic Circuits over Non-Commutative Rings
Arxiv
0+阅读 · 4月23日
参考链接
微信扫码咨询专知VIP会员
Top