Kavli Affiliate: Max Tegmark | First 5 Authors: Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun | Summary: We introduce DafnyBench, the largest benchmark of its kind for training and evaluating machine learning systems for formal software verification. We test the ability of LLMs such as GPT-4 and Claude 3 to auto-generate enough […]
Kavli Affiliate: Jia Liu | First 5 Authors: Wei Ding, Fanhong Li, Ziteng Ji, Zhengrong Xue, Jia Liu | Summary: We propose AToM-Bot, a novel task generation and execution framework for proactive robot-human interaction, which leverages the human mental and physical state inference capabilities of the Vision Language Model (VLM) prompted by the Affective Theory […]
Kavli Affiliate: Wolfgang Tittel | First 5 Authors: Antariksha Das, Mohsen Falamarzi Askarani, Jacob H. Davidson, Neil Sinclair, Joshua A. Slater | Summary: Rare-earth ion-doped crystals are of great interest for quantum memories, a central component in future quantum repeaters. To assess the promise of 1$%$ Tm$^{3+}$-doped yttrium gallium garnet (Tm:YGG), we report measurements of […]
Kavli Affiliate: Luis C. Ho | First 5 Authors: Minjin Kim, Suyeon Son, Luis C. Ho, , | Summary: We investigate the optical variability of low-redshift ($0.15< zleq0.4$) active galactic nuclei using the multi-epoch data from the Zwicky Transient Facility. We find that a damped random walk model well describes the ensemble structure function in […]
Kavli Affiliate: Paul Alivisatos | First 5 Authors: Joeson Wong, Mykyta Onizhuk, Jonah Nagura, Arashdeep S. Thind, Jasleen K. Bindra | Summary: We demonstrate nearly a microsecond of spin coherence in Er3+ ions doped in cerium dioxide nanocrystal hosts, despite a large gyromagnetic ratio and nanometric proximity of the spin defect to the nanocrystal surface. […]
Kavli Affiliate: Feng Wang | First 5 Authors: Feng Wang, Haihang Ruan, Zhihuang Xie, Ronggang Wang, Xiangyu Yue | Summary: Recently, Neural Video Compression (NVC) techniques have achieved remarkable performance, even surpassing the best traditional lossy video codec. However, most existing NVC methods heavily rely on transmitting Motion Vector (MV) to generate accurate contextual features, […]
Kavli Affiliate: Claudio Ricci | First 5 Authors: Boy Lankhaar, Susanne Aalto, Clare Wethers, Javier Moldon, Rob Beswick | Summary: High resolution (0."037-0."13 [10-35 pc]) e-MERLIN ($lambda6-18$ cm) and (0."024 [6.5 pc]) ALMA ($lambda 1.1$ mm) observations have been used to image OH (hydroxyl) and H$_2$CO (formaldehyde) megamaser emission, and HCN 3->2 emission towards the […]
Kavli Affiliate: Feng Wang | First 5 Authors: Sucheng Ren, Xianhang Li, Haoqin Tu, Feng Wang, Fangxun Shu | Summary: The vision community has started to build with the recently developed state space model, Mamba, as the new backbone for a range of tasks. This paper shows that Mamba’s visual capability can be significantly enhanced […]
Kavli Affiliate: Salman Habib | First 5 Authors: Katrin Heitmann, Thomas Uram, Nicholas Frontiere, Salman Habib, Adrian Pope | Summary: In this paper we describe the set of “New Worlds Simulations”, three very large cosmology simulations, Qo’noS, Vulcan, and Ferenginar, that were carried out on the Summit supercomputer with the Hardware/Hybrid Cosmology Code, HACC. The […]
Kavli Affiliate: Salman Habib | First 5 Authors: Katrin Heitmann, Thomas Uram, Nicholas Frontiere, Salman Habib, Adrian Pope | Summary: In this paper we describe the set of “New Worlds Simulations”, three very large cosmology simulations, Qo’noS, Vulcan, and Ferenginar, that were carried out on the Summit supercomputer with the Hardware/Hybrid Cosmology Code, HACC. The […]