会员服务
The Complexity of Bisimilarity and Model Checking in Finitary Diagrams
Arxiv
0+阅读 · 6月15日
Revisiting average case complexity of multilevel syllogistic: From the 1995 Courant Technical Report to Lean 4 Formalization
Arxiv
0+阅读 · 6月15日
Transductive Zero-Shot Audio Classification with Audio-Language Models
Arxiv
0+阅读 · 6月15日
Reasoning Text-to-Video Retrieval for Operating Room Clips via Action-Driven Digital Twins
Arxiv
0+阅读 · 6月15日
The Influence of Code Comments on the Perceived Helpfulness of Stack Overflow Posts
Arxiv
0+阅读 · 6月15日
A Neuromorphic Trigger for Efficient Audio Event Detection
Arxiv
0+阅读 · 6月16日
A Unified Framework for Context-Aware and Relation-Aware Graph Retrieval-Augmented Generation
Arxiv
0+阅读 · 6月16日
TivTok: Broadcasting Time-Invariant Tokens for Scalable Video Tokenization
Arxiv
0+阅读 · 6月16日
TuneJury: An Open Metric for Improving Music Generation Preference Alignment
Arxiv
0+阅读 · 6月15日
MemTrace: Probing What Final Accuracy Misses in Long-Term Memory
Arxiv
0+阅读 · 6月15日
Connecting Speech to Words through Images
Arxiv
0+阅读 · 6月15日
FreeSonic: Training-Free Temporal-Aware Decoupled Attention for Precise Audio Editing
Arxiv
0+阅读 · 6月13日
SCAR: Semantic Continuity-Aware Retrieval for Efficient Context Expansion in RAG
Arxiv
0+阅读 · 6月15日
Algebraic Circuits Over Sum and Shift and Existential Presburger Arithmetic with Divisibility
Arxiv
0+阅读 · 6月12日
EChO-Agent: Evidence Chain Orchestration Agent for Audio Reasoning
Arxiv
0+阅读 · 6月13日
参考链接
微信扫码咨询专知VIP会员
Top