会员服务
Hardness as an Information Constraint: A Unifying Meta-Complexity Assumption
Arxiv
0+阅读 · 6月2日
Two-Level Type Theory and Applications
Arxiv
0+阅读 · 5月26日
Constructive higher sheaf models with applications to synthetic mathematics
Arxiv
0+阅读 · 5月18日
LFPL: Revisited and Mechanized
Arxiv
0+阅读 · 5月17日
LFPL: Revisited and Mechanized
Arxiv
0+阅读 · 5月13日
Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints
Arxiv
0+阅读 · 4月17日
act: Technical report
Arxiv
0+阅读 · 4月3日
Macrofacet Theory for Gaussian Process Statistical Surfaces
Arxiv
0+阅读 · 2月27日
Cubic Incompleteness: Hilbert's Tenth Problem at Degree Three
Arxiv
0+阅读 · 2025年12月30日
Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
Arxiv
0+阅读 · 2023年4月18日
A Declarative Validator for GSOS Languages
Arxiv
0+阅读 · 2023年4月13日
Defunctionalization with Dependent Types
Arxiv
0+阅读 · 2023年4月10日
参考链接
微信扫码咨询专知VIP会员
Top