会员服务
Termination of Real Linear Loops
Arxiv
0+阅读 · 5月1日
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
Arxiv
0+阅读 · 3月28日
Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
Arxiv
0+阅读 · 5月1日
The Bright Side of Timed Opacity
Arxiv
0+阅读 · 3月27日
On the undecidability of quantum channel capacities
Arxiv
0+阅读 · 3月30日
An Undecidability Proof for the Plan Existence Problem
Arxiv
0+阅读 · 4月24日
Decidability of Livelock Detection for Parameterized Self-Disabling Unidirectional Rings
Arxiv
0+阅读 · 4月23日
Decidability of Livelock Detection for Parameterized Self-Disabling Unidirectional Rings
Arxiv
0+阅读 · 3月22日
Decidability of Livelock Detection for Parameterized Self-Disabling Unidirectional Rings
Arxiv
0+阅读 · 4月1日
On the Decidability of Verification under Release/Acquire
Arxiv
0+阅读 · 4月15日
Decidable By Construction: Design-Time Verification for Trustworthy AI
Arxiv
0+阅读 · 4月13日
Decidable By Construction: Design-Time Verification for Trustworthy AI
Arxiv
0+阅读 · 4月19日
Round-Delayed Amnesiac Flooding
Arxiv
0+阅读 · 4月5日
Attacks on Sparse LWE and Sparse LPN with new Sample-Time tradeoffs
Arxiv
0+阅读 · 3月28日
Shannon meets Gödel-Tarski-Löb: Undecidability of Shannon Feedback Capacity for Finite-State Channels
Arxiv
0+阅读 · 3月18日
参考链接
微信扫码咨询专知VIP会员
Top