会员服务
An All-Reduce Compatible Top-K Compressor for Communication-Efficient Distributed Learning
Arxiv
0+阅读 · 10月30日
A Study on Privacy-Preserving Scholarship Evaluation Based on Decentralized Identity and Zero-Knowledge Proofs
Arxiv
0+阅读 · 10月29日
Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
Arxiv
0+阅读 · 10月27日
Resource-Efficient LLM Application for Structured Transformation of Unstructured Financial Contracts
Arxiv
0+阅读 · 10月28日
Induced Minor Models. II. Sufficient conditions for polynomial-time detection of induced minors
Arxiv
0+阅读 · 10月28日
Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing
Arxiv
0+阅读 · 10月27日
Adaptive Multilevel Splitting: First Application to Rare-Event Derivative Pricing
Arxiv
0+阅读 · 10月27日
On the Contractivity of Stochastic Interpolation Flow
Arxiv
0+阅读 · 10月25日
GCAO: Group-driven Clustering via Gravitational Attraction and Optimization
Arxiv
0+阅读 · 10月27日
ZK Coprocessor Bridge: Replay-Safe Private Execution from Solana to Aztec via Wormhole
Arxiv
0+阅读 · 10月26日
Anvil: A General-Purpose Timing-Safe Hardware Description Language
Arxiv
0+阅读 · 10月27日
Posterior Contraction for Sparse Neural Networks in Besov Spaces with Intrinsic Dimensionality
Arxiv
0+阅读 · 10月24日
DeepTx: Real-Time Transaction Risk Analysis via Multi-Modal Features and LLM Reasoning
Arxiv
0+阅读 · 10月23日
Rationalizable Screening and Disclosure under Unawareness
Arxiv
0+阅读 · 10月23日
Discrete Screening
Arxiv
0+阅读 · 10月23日
参考链接
微信扫码咨询专知VIP会员
Top