会员服务
Counting Answers to Unions of Conjunctive Queries: Natural Tractability Criteria and Meta-Complexity
Arxiv
0+阅读 · 10月2日
Generalized Bayes in Conditional Moment Restriction Models
Arxiv
0+阅读 · 10月1日
A theoretical framework for M-posteriors: frequentist guarantees and robustness properties
Arxiv
0+阅读 · 10月1日
A Robust Neural Control Design for Multi-drone Slung Payload Manipulation with Control Contraction Metrics
Arxiv
0+阅读 · 10月1日
Finite elements for symmetric and traceless tensors in three dimensions
Arxiv
0+阅读 · 10月1日
Dirichlet moment tensors and the correspondence between admixture and mixture of product models
Arxiv
0+阅读 · 10月1日
A Preference-Driven Methodology for High-Quality Solidity Code Generation
Arxiv
0+阅读 · 9月30日
Oh-Trust: Overbooking and Hybrid Trading-empowered Resource Scheduling with Smart Reputation Update over Dynamic Edge Networks
Arxiv
0+阅读 · 9月30日
PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts
Arxiv
0+阅读 · 9月28日
LISA Technical Report: An Agentic Framework for Smart Contract Auditing
Arxiv
0+阅读 · 9月29日
Cognition Engines: A Row-Scale HVDC Architecture for Computational Continuity of AI
Arxiv
0+阅读 · 9月16日
Output-Sensitive Evaluation of Acyclic Conjunctive Regular Path Queries
Arxiv
0+阅读 · 9月29日
BugMagnifier: TON Transaction Simulator for Revealing Smart Contract Vulnerabilities
Arxiv
0+阅读 · 9月29日
Smart Contract Intent Detection with Pre-trained Programming Language Model
Arxiv
0+阅读 · 9月29日
Lyte Quorum: Off-Chain Ready Smart Contract Hosted with Choice
Arxiv
0+阅读 · 9月27日
参考链接
微信扫码咨询专知VIP会员
Top