会员服务
The edge-based contiguous p-median problem: exact formulations and strengthening inequalities
Arxiv
0+阅读 · 10月17日
Short Point Lists for CNFs and Stronger Constant-Depth Circuit Hardness
Arxiv
0+阅读 · 10月19日
LEVI: Benchmarking Visual Identity Fidelity with Verifiable Low-Entropy Constructs
Arxiv
0+阅读 · 10月20日
Exact rational certificates and a Lean formalization of the eleven-variable Vasc inequality
Arxiv
0+阅读 · 10月9日
Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking
Arxiv
0+阅读 · 10月20日
When Copying Is Hard: Copy-Constrained Decoding for Exact Span Reproduction
Arxiv
0+阅读 · 10月20日
Geometry-Dependent Online and Offline Approximation for Non-Monotone DR-Submodular Maximization
Arxiv
0+阅读 · 10月19日
HyCo: Hybrid Drafting for Cost-Efficient Mobile-Cloud Speculative Decoding
Arxiv
0+阅读 · 10月19日
Synthetic Control: An Exact Geometric Formulation
Arxiv
0+阅读 · 10月19日
What Moved the Alarm Score? Causal Attribution with Exact Computation and Scarce-Incident Estimation
Arxiv
0+阅读 · 10月20日
Exact Rate Exponent Tradeoff for New Classes of Distributed Hypothesis Testing Problems
Arxiv
0+阅读 · 10月19日
Differential privacy with adjustable preservation of multivariate relationships
Arxiv
0+阅读 · 10月19日
A 55-Addition Rank-23 Scheme for $3\times3$ Matrix Multiplication via Exact Two-Sided Minimization
Arxiv
0+阅读 · 10月20日
Exact Compilation and Resource Laws for Hidden Integer Feedback
Arxiv
0+阅读 · 10月19日
On the hardness of approximating minimum distances of quantum codes
Arxiv
0+阅读 · 10月19日
参考链接
微信扫码咨询专知VIP会员
Top