Kavli Affiliate: Ke Wang | First 5 Authors: Hanshi Wang, Hanshi Wang, , , | Summary: The established redundancy in visual tokens within large vision-language models allows pruning to effectively reduce their substantial computational demands. Previous methods typically employ heuristic layer-specific pruning strategies where, although the number of tokens removed may differ across decoder layers, […]
Kavli Affiliate: Jia Liu | First 5 Authors: Qi Bi, Qi Bi, , , | Summary: We propose a UV-complete extension of the Standard Model in which a gauge-singlet scalar $S$ acquires a vacuum expectation value, generates a Majorana mass for a sterile neutrino $N$, and mixes with the Higgs field. This framework addresses neutrino […]
Kavli Affiliate: Wei Gao | First 5 Authors: Jihu Guo, Jihu Guo, , , | Summary: Pipeline parallelism is widely used to train large language models (LLMs). However, increasing heterogeneity in model architectures exacerbates pipeline bubbles, thereby reducing training efficiency. Existing approaches overlook the co-optimization of model partition, model placement, and workload scheduling, resulting in […]
Kavli Affiliate: Leslie B. Vosshall | Authors: Leah Houri-Zeevi, Madison M. Walker, Jacopo Razzauti, Anurag Sharma, H. Amalia Pasolli and Leslie B. Vosshall | Summary: Mosquitoes, the world’s deadliest animal, exemplify single-mating systems where females mate only once in their lifetime, making mate choice critically important for reproductive success and mosquito control. Despite this importance, […]
Kavli Affiliate: Feng Yuan | First 5 Authors: Wanjin Feng, Wanjin Feng, , , | Summary: In the era of increasingly complex AI models for time series forecasting, progress is often measured by marginal improvements on benchmark leaderboards. However, this approach suffers from a fundamental flaw: standard evaluation metrics conflate a model’s performance with the […]
Kavli Affiliate: Robert Edwards | Authors: Jacob Kelman, Meena Khan, Chibundu Umunna, Russell Brainard, Grace Donohue, Robert A Edwards, Natalie A Falta, Emma E. George, Eleanor Gorham, Juris Grasis, Kevin Green, Andreas F Haas, Kimberly Halsey, Eric Hester, Summer Jacob, Aydin Loid Karatas, Yan Wei Lim, Mark Little, Stuart Sandin, Jessie Segnitz, Maya Serota, Natalia […]
Kavli Affiliate: Max Tegmark | First 5 Authors: Sergiu Bursuc, Sergiu Bursuc, , , | Summary: We present and test the largest benchmark for vericoding, LLM-generation of formally verified code from formal specifications – in contrast to vibe coding, which generates potentially buggy code from a natural language description. Our benchmark contains 12,504 formal specifications, […]
Kavli Affiliate: Erin Kara | First 5 Authors: Eliza Neights, Eliza Neights, , , | Summary: Gamma-ray bursts are the most luminous electromagnetic events in the universe. Their prompt gamma-ray emission has typical durations between a fraction of a second and several minutes. A rare subset of these events have durations in excess of a […]
Kavli Affiliate: Dheeraj Pasham | First 5 Authors: Brendan O’Connor, Brendan O’Connor, , , | Summary: GRB 250702B is an exceptional transient that produced multiple episodes of luminous gamma-ray radiation lasting for $>25$ ks, placing it among the class of ultra-long gamma-ray bursts (GRBs). However, unlike any known GRB, the textitEinstein Probe detected soft X-ray […]
Kavli Affiliate: Dheeraj Pasham | First 5 Authors: Jonathan Carney, Jonathan Carney, , , | Summary: GRB 250702B was the longest gamma-ray burst ever observed, with a duration that challenges standard collapsar models and suggests an exotic progenitor. We collected a rich set of optical and infrared follow-up observations of its rapidly fading afterglow using […]