Kavli Affiliate: Ke Wang | First 5 Authors: Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang | Summary: Equivalence checking, i.e., determining whether two programs produce identical outputs for all possible inputs, underpins a broad range of applications, including software refactoring, testing, and optimization. We present the task of equivalence checking as a […]
Kavli Affiliate: Ke Wang | First 5 Authors: Anjiang Wei, Jiannan Cao, Ran Li, Hongyu Chen, Yuhui Zhang | Summary: Equivalence checking, i.e., determining whether two programs produce identical outputs for all possible inputs, underpins a broad range of applications, including software refactoring, testing, and optimization. We present the task of equivalence checking as a […]
Kavli Affiliate: Yingjie Peng | First 5 Authors: Cheqiu Lyu, Enci Wang, Hongxin Zhang, Yingjie Peng, Xin Wang | Summary: Using spatially resolved spectroscopic data from the MaNGA sample, we investigate the parameters influencing the radial gradients of gas-phase metallicity ($nablalog(mathrm{O/H})$), to determine whether disk formation is primarily driven by coplanar gas inflow or by […]
Kavli Affiliate: Xiang Zhang | First 5 Authors: Zongyu Wu, Yuwei Niu, Hongcheng Gao, Minhua Lin, Zhiwei Zhang | Summary: Large Vision-Language Models (LVLMs) have shown impressive performance in various tasks. However, LVLMs suffer from hallucination, which hinders their adoption in the real world. Existing studies emphasized that the strong language priors of LVLMs can […]
Kavli Affiliate: Michael Miller | Authors: Rebecca Melton, Sara Jimenez, Weston Elison, Luca Tucciarone, Abigail Howell, Gaowei Wang, Denise Berti, Elisha Beebe, Michael Miller, Chun Zeng, Kennedy Vanderstel, Katha Korgaonkar, Ruth Elgamal, Hannah Mummey, Josh Chiou, Emily Griffin, Irina Kusmartseva, Mark A. Atkinson, Sebastian Preissl, Fabian Theis, Maike Sander and Kyle J Gaulton | Summary: […]
Kavli Affiliate: Vincent Ferrera | Authors: Fabian A Munoz Silva, Greg Jensen, Maxwell Shinn, Yelda Alkan, John Murray, Herbert Terrace and Vincent P Ferrera | Summary: The accumulation of evidence over time formalized in the drift diffusion model (DDM), has become one of the most prevalent models of deliberative decision-making. To better understand the role […]
Kavli Affiliate: Mark Vogelsberger | First 5 Authors: Yang Ni, Hui Li, Mark Vogelsberger, Laura V. Sales, Federico Marinacci | Summary: In this work, we trace the complete life cycle of individual GMCs in high-resolution Milky Way-mass galaxy simulations to determine how different stellar feedback mechanisms and galactic-scale processes govern cloud lifetimes, mass evolution, and […]
Kavli Affiliate: Roberto Maiolino | First 5 Authors: Yuki Isobe, Roberto Maiolino, Francesco D’Eugenio, Mirko Curti, Xihan Ji | Summary: The unexpectedly high nitrogen-to-oxygen (N/O) ratios observed in high-redshift (z) galaxies have challenged our understanding of early star formation. Notably, many of these nitrogen-rich galaxies show signatures of active galactic nuclei (AGNs), suggesting a possible […]
Kavli Affiliate: Dheeraj R. Pasham | First 5 Authors: Dheeraj R. Pasham, Eric Coughlin, Sjoert van Velzen, Jason Hinkle, | Summary: Quasi-periodic eruptions (QPEs) are recurring soft X-ray outbursts from galactic nuclei and represent an intriguing new class of transients. Currently, 10 QPE sources are reported in the literature, and a major challenge lies in […]
Kavli Affiliate: Yi Zhou | First 5 Authors: Shamsuddeen Hassan Muhammad, Nedjma Ousidhoum, Idris Abdulmumin, Jan Philip Wahle, Terry Ruas | Summary: People worldwide use language in subtle and complex ways to express emotions. While emotion recognition — an umbrella term for several NLP tasks — significantly impacts different applications in NLP and other fields, […]