会员服务
A Lean 4 Formalization of Euclidean Domain Algorithms from a 1986 Icon Experimentation Package
Arxiv
0+阅读 · 6月14日
PCS-UQ: Uncertainty Quantification via the Predictability-Computability-Stability Framework
Arxiv
0+阅读 · 6月10日
On the Nonasymptotic Bounds of Joint Source-Channel Coding with Hierarchical Sources
Arxiv
0+阅读 · 6月6日
The Extremum Stack is a Minimal Sufficient Statistic for Rate-Independent Functionals: A Kolmogorov Complexity Characterisation
Arxiv
0+阅读 · 5月16日
Worst-Case Update Complexity of the Preisach Extremum Stack
Arxiv
0+阅读 · 6月3日
Creative Integration: A Decidable Criterion of Creativity
Arxiv
0+阅读 · 6月11日
Length Generalization Bounds for Transformers
Arxiv
0+阅读 · 5月31日
Asymptotic tensor rank is characterized by polynomials
Arxiv
0+阅读 · 6月7日
Mathematical Informatics: Algorithms
Arxiv
0+阅读 · 5月18日
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
Arxiv
0+阅读 · 5月14日
Experiments, Computability, and the Existence of Physical Functions
Arxiv
0+阅读 · 4月23日
Metastability-Containing Turing Machines
Arxiv
0+阅读 · 4月19日
Continuous Algebras with Hypotheses
Arxiv
0+阅读 · 5月18日
When Firms Learn to Game the Rules
Arxiv
0+阅读 · 6月3日
Computation by infinite descent made explicit
Arxiv
0+阅读 · 5月12日
参考链接
微信扫码咨询专知VIP会员
Top