会员服务
MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
Arxiv
0+阅读 · 5月27日
Rank estimation for the accelerated failure time model with partially interval-censored data
Arxiv
0+阅读 · 4月11日
Upper and Lower Bounds for the Linear Ordering Principle
Arxiv
0+阅读 · 3月30日
Improved Johnson-type Bounds for Insertion-Deletion Codes
Arxiv
0+阅读 · 5月28日
On Optimal Homogeneous-Metric Codes
Arxiv
0+阅读 · 3月28日
Strang splitting estimator for nonlinear multivariate stochastic differential equations with Pearson-type multiplicative noise
Arxiv
0+阅读 · 4月17日
Kantorovich--Kernel Neural Operators: Approximation Theory, Asymptotics, and Neural Network Interpretation
Arxiv
0+阅读 · 3月27日
An infinite family of non-extendable MRD codes
Arxiv
0+阅读 · 4月1日
Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
Arxiv
0+阅读 · 2月27日
Functional inequalities for Boolean entropy
Arxiv
0+阅读 · 2月26日
Trellis codes with a good distance profile constructed from expander graphs
Arxiv
0+阅读 · 2月9日
Trellis codes with a good distance profile constructed from expander graphs
Arxiv
0+阅读 · 2月15日
Zero-free regions and concentration inequalities for hypergraph colorings in the local lemma regime
Arxiv
0+阅读 · 1月20日
Kernel smoothing on manifolds
Arxiv
0+阅读 · 1月23日
Efficient Learning of Stationary Diffusions with Stein-type Discrepancies
Arxiv
0+阅读 · 1月23日
参考链接
微信扫码咨询专知VIP会员
Top