会员服务
Do You "Trust" This Visualization? An Inventory to Measure Trust in Visualizations
Arxiv
0+阅读 · 12月12日
From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
Arxiv
0+阅读 · 11月22日
AI Workers, Geopolitics, and Algorithmic Collective Action
Arxiv
0+阅读 · 11月21日
Identifying Aspects in Peer Reviews
Arxiv
0+阅读 · 11月4日
Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
Arxiv
0+阅读 · 10月29日
Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
Arxiv
0+阅读 · 10月27日
Stochastic Forward-Forward Learning through Representational Dimensionality Compression
Arxiv
0+阅读 · 10月24日
KGAlign: Joint Semantic-Structural Knowledge Encoding for Multimodal Fake News Detection
Arxiv
0+阅读 · 10月17日
The Impact of Renewable Energy Communities in the Italian Day-Ahead Electricity Market: A Scenario Analysis
Arxiv
0+阅读 · 10月15日
LLM-guided Hierarchical Retrieval
Arxiv
0+阅读 · 10月15日
Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
Arxiv
0+阅读 · 10月15日
StoryBox: Collaborative Multi-Agent Simulation for Hybrid Bottom-Up Long-Form Story Generation Using Large Language Models
StoryBox: Collaborative Multi-Agent Simulation for Hybrid Bottom-Up Long-Form Story Generation Using Large Language Models
Arxiv
0+阅读 · 10月13日
Machine learning methods fail to provide cohesive atheoretical construction of personality traits from semantic embeddings
Arxiv
0+阅读 · 10月10日
Stochastic Forward-Forward Learning through Representational Dimensionality Compression
Arxiv
0+阅读 · 5月22日
Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching
Arxiv
0+阅读 · 4月19日
参考链接
微信扫码咨询专知VIP会员
Top