会员服务
理论计算机科学( Theoretical Computer Science )，计算机科学( Computer Science )两大分支之一。
Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
Arxiv
0+阅读 · 5月18日
Graph Homomorphisms and Universal Algebra
Arxiv
0+阅读 · 4月25日
On sampling diluted Spin-Glasses with unbounded interactions
Arxiv
0+阅读 · 3月23日
Complexity of Auctions with Interdependence
Arxiv
0+阅读 · 3月19日
Primitive-Root Determinant Densities over Prime Fields and Implications for PRIM-LWE
Arxiv
0+阅读 · 3月18日
Primitive-Root Determinant Densities over Prime Fields and Implications for PRIM-LWE
Arxiv
0+阅读 · 3月30日
Advances in List Decoding of Polynomial Codes
Arxiv
0+阅读 · 3月4日
The Lens of Abelian Embeddings
Arxiv
0+阅读 · 2月25日
Exponential Lower Bounds for 2-query Relaxed Locally Decodable Codes
Arxiv
0+阅读 · 2月23日
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques
Arxiv
1+阅读 · 3月6日
PVASS Reachability is Decidable
Arxiv
0+阅读 · 2月18日
A Theory for Probabilistic Polynomial-Time Reasoning
Arxiv
0+阅读 · 2月10日
Graph Homomorphisms and Universal Algebra
Arxiv
0+阅读 · 2月15日
A Simple and Combinatorial Approach to Proving Chernoff Bounds and Their Generalizations
Arxiv
0+阅读 · 2月9日
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques
Arxiv
0+阅读 · 2月16日
参考链接
微信扫码咨询专知VIP会员
Top