会员服务
Asynchronous Global Protocols, Precisely: Full Proofs
Arxiv
0+阅读 · 1月6日
CONSENT: A Negotiation Framework for Leveraging User Flexibility in Vehicle-to-Building Charging under Uncertainty
Arxiv
0+阅读 · 1月4日
Bithoven: Formal Safety for Expressive Bitcoin Smart Contracts
Arxiv
0+阅读 · 1月4日
Bringing Closure to False Discovery Rate Control: A General Principle for Multiple Testing
Arxiv
0+阅读 · 1月1日
Practical Traceable Over-Threshold Multi-Party Private Set Intersection
Arxiv
0+阅读 · 2025年12月31日
Dynamic Strategy Adaptation in Multi-Agent Environments with Large Language Models
Arxiv
0+阅读 · 2025年12月31日
RLinf: Flexible and Efficient Large-scale Reinforcement Learning via Macro-to-Micro Flow Transformation
Arxiv
0+阅读 · 2025年12月29日
CountGD++: Generalized Prompting for Open-World Counting
Arxiv
0+阅读 · 2025年12月29日
Revealing design archetypes and flexibility in e-molecule import pathways using Modeling to Generate Alternatives and interpretable machine learning
Arxiv
0+阅读 · 2025年12月29日
A flexible class of latent variable models for the analysis of antibody response data
Arxiv
0+阅读 · 2025年12月27日
Research on Dead Reckoning Algorithm for Self-Propelled Pipeline Robots in Three-Dimensional Complex Pipelines
Arxiv
0+阅读 · 2025年12月25日
On the Koopman-Based Generalization Bounds for Multi-Task Deep Learning
Arxiv
0+阅读 · 2025年12月22日
Clever Hans in Chemistry: Chemist Style Signals Confound Activity Prediction on Public Benchmarks
Arxiv
0+阅读 · 2025年12月24日
Lifefin: Escaping Mempool Explosions in DAG-based BFT
Arxiv
0+阅读 · 2025年12月20日
EmoCAST: Emotional Talking Portrait via Emotive Text Description
Arxiv
0+阅读 · 2025年12月23日
参考链接
微信扫码咨询专知VIP会员
Top