会员服务
Normalization for multimodal type theory
Arxiv
0+阅读 · 2月19日
Computable Approximations of Semicomputable Graphs
Arxiv
0+阅读 · 2月18日
Can Complexity and Uncomputability Explain Intelligence? SuperARC: A Test for Artificial Super Intelligence Based on Recursive Compression
Arxiv
0+阅读 · 2月11日
Computable Bernstein Certificates for Cross-Fitted Clipped Covariance Estimation
Arxiv
0+阅读 · 2月15日
Why Code, Why Now: Learnability, Computability, and the Real Limits of Machine Learning
Arxiv
0+阅读 · 2月15日
Wider systems for linear logic with fixed points: proof theory and complexity
Arxiv
0+阅读 · 2月10日
On the undecidability of quantum channel capacities
Arxiv
0+阅读 · 2月10日
How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
Arxiv
0+阅读 · 2月5日
Metric space valued Fr{é}chet regression
Arxiv
0+阅读 · 2月5日
What Can Be Computed Locally Revisited: First-Order Logic on Sparse Graphs in Distributed Computing
Arxiv
0+阅读 · 2月4日
On the undecidability of quantum channel capacities
Arxiv
0+阅读 · 1月30日
On the computability of cofinal Fraïssé limits
Arxiv
0+阅读 · 1月30日
High Rate Efficient Local List Decoding from HDX
Arxiv
0+阅读 · 1月30日
Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
Arxiv
0+阅读 · 2月3日
How Similar Are Two Elections?
Arxiv
0+阅读 · 1月27日
参考链接
微信扫码咨询专知VIP会员
Top