会员服务
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日
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
Arxiv
0+阅读 · 7月23日
Agent-based modeling for realistic reproduction of human mobility and contact behavior to evaluate test and isolation strategies in epidemic infectious disease spread
Agent-based modeling for realistic reproduction of human mobility and contact behavior to evaluate test and isolation strategies in epidemic infectious disease spread
Arxiv
0+阅读 · 4月3日
An Investigation into the Causal Mechanism of Political Opinion Dynamics: A Model of Hierarchical Coarse-Graining with Community-Bounded Social Influence
An Investigation into the Causal Mechanism of Political Opinion Dynamics: A Model of Hierarchical Coarse-Graining with Community-Bounded Social Influence
Arxiv
0+阅读 · 4月3日
An Investigation into the Causal Mechanism of Political Opinion Dynamics: A Model of Hierarchical Coarse-Graining with Community-Bounded Social Influence
An Investigation into the Causal Mechanism of Political Opinion Dynamics: A Model of Hierarchical Coarse-Graining with Community-Bounded Social Influence
Arxiv
0+阅读 · 4月1日
参考链接
微信扫码咨询专知VIP会员
Top