会员服务
PipeLink: Contract-Guided Linking of GPU Kernel Components
Arxiv
0+阅读 · 10月27日
Omission-Safe Conditional Contracts for Evidence-Closed CI Qualification
Arxiv
0+阅读 · 10月29日
Computing GR(1) Assume-Guarantee Contracts
Arxiv
0+阅读 · 10月27日
When LLM Architectures Meet Smart Contract Vulnerability Detection: a Replication Study
Arxiv
0+阅读 · 10月28日
Principal-agent hypothesis testing under adaptive experimentation
Arxiv
0+阅读 · 10月28日
Variational Bayes for Variable Selection with Adaptive Sharing across Populations and Responses
Arxiv
0+阅读 · 10月29日
How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study
Arxiv
0+阅读 · 10月28日
No Certificate, No Categorical Speech Act: A Brouwerian Assertibility Constraint for Public Reason
Arxiv
0+阅读 · 10月29日
Exact Algorithms and Complexity of the Smallest Grammar Problem
Arxiv
0+阅读 · 10月27日
CoToan: Executable Rules and a Representation Contract for Reproducible Game AI Evaluation
Arxiv
0+阅读 · 10月29日
XLaw-JP-27B: A Lightweight Open Model Specialized for Japanese Law
Arxiv
0+阅读 · 10月29日
Non-Commutative Lie-Algebraic State-Space Models: Finite-Division Variety Laws, Semidirect Cascades, and Gradient Saddle Escape
Arxiv
0+阅读 · 10月28日
Whether Is Not When: Separating Occurrence from Timing in Polymarket Prices
Arxiv
0+阅读 · 10月27日
Information Contraction under $(\varepsilon,δ)$-Differentially Private Mechanisms
Arxiv
0+阅读 · 10月27日
Game-Theoretic Foundations for Undiscounted Bisimulation Metrics
Arxiv
0+阅读 · 10月28日
参考链接
微信扫码咨询专知VIP会员
Top