会员服务
Weisfeiler Lehman Test on Combinatorial Complexes: Generalized Expressive Power of Topological Neural Networks
Arxiv
0+阅读 · 6月16日
Verified Detection and Prevention of Concurrency Anomalies in Multi-Agent Large Language Model Systems
Arxiv
0+阅读 · 6月15日
TNODEV: Toolbox for Neural ODE Verification
Arxiv
0+阅读 · 6月15日
Volume-Refined Achievability and Converse Approximations for Noisy Permutation Channels
Arxiv
0+阅读 · 6月14日
SpatialAvatar-0: High-Quality 4D Head Avatar with Multi-Stage Reconstruction
Arxiv
0+阅读 · 6月14日
G2IA: Geometry-Guided Instance-Aware Retrieval and Refinement for Cross-Modal Place Recognition
Arxiv
0+阅读 · 6月13日
Unassigned Agents in Compilation-based Multi-agent Path Finding
Arxiv
0+阅读 · 6月14日
Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
Arxiv
0+阅读 · 5月26日
MMRINet: Efficient Mamba-Based Segmentation with Dual-Path Refinement for Low-Resource MRI Analysis
Arxiv
0+阅读 · 6月12日
MCSAT Modulo Transcendental Arithmetics
Arxiv
0+阅读 · 5月30日
Value-Refined Modal Fixed-Point Semantics with Certified Choice and Public Share-Alike Certificates
Arxiv
0+阅读 · 6月5日
Adaptive state-action abstractions via rate-distortion
Arxiv
0+阅读 · 6月4日
Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
Arxiv
0+阅读 · 5月14日
Explicit Formulas and Unimodality Phenomena for General Position Polynomials
Arxiv
0+阅读 · 3月25日
EditMGT: Unleashing Potentials of Masked Generative Transformers in Image Editing
Arxiv
0+阅读 · 3月25日
参考链接
微信扫码咨询专知VIP会员
Top