Kavli Affiliate: Long Zhang | First 5 Authors: Jianyu Zhang, Yongwang Zhao, Long Zhang, Jilin Hu, Xiaokun Luan | Summary: Large language models (LLMs) for formal theorem proving have become a prominent research focus. At present, the proving ability of these LLMs is mainly evaluated through proof pass rates on datasets such as miniF2F. However, […]
Kavli Affiliate: George Efstathiou | First 5 Authors: Simon Pochinda, Jiten Dhandha, Anastasia Fialkov, Eloy de Lera Acedo, | Summary: In this study, we train score-based diffusion models to super-resolve gigaparsec-scale cosmological simulations of the 21-cm signal. We examine the impact of network and training dataset size on model performance, demonstrating that a single simulation […]
Kavli Affiliate: Xiang Zhang | First 5 Authors: Yihe Wang, Nan Huang, Nadia Mammone, Marco Cecchi, Xiang Zhang | Summary: Electroencephalogram (EEG) provides a non-invasive, highly accessible, and cost-effective solution for Alzheimer’s Disease (AD) detection. However, existing methods, whether based on manual feature extraction or deep learning, face two major challenges: the lack of large-scale […]
Kavli Affiliate: Erich Jarvis | Authors: Giulio Formenti, Bonhwang Koo, Marco Sollitto, Jennifer Balacco, Nadolina Brajuka, Richard Burhans, Erick Duarte, Alice Maria Giani, Kirsty McCaffrey, Jack A Medico, Eugene W Myers and Erich D Jarvis | Summary: Motivation Large sequencing data sets are produced and deposited into public archives at unprecedented rates. The availability of […]
Kavli Affiliate: Alireza Marandi | First 5 Authors: James Williams, Elina Sendonaris, Rajveer Nehra, Robert M Gray, Ryoto Sekine | Summary: Squeezed vacuum, a fundamental resource for continuous-variable quantum information processing, has been used to demonstrate quantum advantages in sensing, communication, and computation. While most experiments use homodyne detection to characterize squeezing and are therefore […]
Kavli Affiliate: Alireza Marandi | First 5 Authors: James Williams, Elina Sendonaris, Rajveer Nehra, Robert M Gray, Ryoto Sekine | Summary: Squeezed vacuum, a fundamental resource for continuous-variable quantum information processing, has been used to demonstrate quantum advantages in sensing, communication, and computation. While most experiments use homodyne detection to characterize squeezing and are therefore […]
Kavli Affiliate: Ke Wang | First 5 Authors: Fengyun Ren, Shumin Zhang, Ke Wang, , | Summary: The ${K_{1,1}, K_{1,2},C_m: mgeq3}$-factor of a graph is a spanning subgraph whose each component is an element of ${K_{1,1}, K_{1,2},C_m: mgeq3}$. In this paper, through the graph spectral methods, we establish the lower bound of the signless Laplacian […]
Kavli Affiliate: Chris Xu | First 5 Authors: Chris Xu, , , , | Summary: We describe an algorithm to rigorously compute the power series expansion at a CM point of a weight $2$ cusp form of level coprime to $6$. Our algorithm works by bounding the denominators that appear due to ramification, and without […]
Kavli Affiliate: Xiang Zhang | First 5 Authors: Bencheng Yan, Si Chen, Shichang Jia, Jianyu Liu, Yueran Liu | Summary: Click-Through Rate (CTR) prediction is a crucial task in recommendation systems, online searches, and advertising platforms, where accurately capturing users’ real interests in content is essential for performance. However, existing methods heavily rely on ID […]
Kavli Affiliate: Jeffrey B. Neaton | First 5 Authors: Norm M. Tubman, Christopher J. N. Coveney, Chih-En Hsu, Andres Montoya-Castillo, Marina R. Filip | Summary: Ab initio downfolding describes the electronic structure of materials within a low-energy subspace, often around the Fermi level. Typically starting from mean-field calculations, this framework allows for the calculation of […]