Kavli Affiliate: Ran Wang | First 5 Authors: Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu | Summary: We introduce Kimina-Prover Preview, a large language model that pioneers a novel reasoning-driven exploration paradigm for formal theorem proving, as showcased in this preview release. Trained with a large-scale reinforcement learning pipeline from Qwen2.5-72B, Kimina-Prover […]
Kavli Affiliate: Pau Amaro Seoane | First 5 Authors: Pau Amaro Seoane, Josep V. Arnau, Màrius Josep Fullana i Alfonso, , | Summary: The gravitational capture of a small compact object by a supermassive black hole is one of the most intriguing sources of gravitational waves to be detected by space-borne observatories. Modeling gravitational waves […]
Kavli Affiliate: Kohei Inayoshi | First 5 Authors: Kazutaka Kimura, Kohei Inayoshi, Kazuyuki Omukai, , | Summary: Direct collapse of pristine gas in early galaxies is a promissing pathway for forming supermassive black holes (BHs) powering active galactic nuclei (AGNs) at the epoch of reionization (EoR). This seeding mechanism requires suppression of molecular hydrogen (H$_2$) […]
Kavli Affiliate: Zhuo Li | First 5 Authors: Qinyuan Zhang, Tian-Qi Huang, Zhuo Li, , | Summary: Cosmogenic neutrinos (CNs) are produced by ultra-high energy cosmic rays (UHECRs) interacting with cosmic background radiation. We investigated the properties of CN point/extended sources, i.e, the neutrino spectrum, and angular profile as functions of time, by assuming that […]
Kavli Affiliate: Pau Amaro Seoane | First 5 Authors: Rui Xu, Dandan Xu, Lars Andersson, Pau Amaro Seoane, Lijing Shao | Summary: We put into test the idea of replacing dark energy by a vector field against the cosmic microwave background (CMB) observation using the simplest vector-tensor theory, where a massive vector field couples to […]
Kavli Affiliate: Kohei Inayoshi | First 5 Authors: Akatoki Noboriguchi, Kohei Ichikawa, Yoshiki Toba, Tom Dwelly, Kohei Inayoshi | Summary: Dust-obscured galaxies (DOGs) are considered to be in a co-evolution phase, with the associated active galactic nuclei (AGN) obscured by dust and gas. Although the DOGs are thought to harbor rapidly growing SMBHs, their X-ray […]
Kavli Affiliate: Xian Chen | First 5 Authors: Julian Bäumler, Louis Blöcher, Lars-Joel Frey, Xian Chen, Markus Bayer | Summary: The dissemination of online hate speech can have serious negative consequences for individuals, online communities, and entire societies. This and the large volume of hateful online content prompted both practitioners’, i.e., in content moderation or […]
Jiaxuan Li, Jenny E. Greene, Shany Danieli, Scott G. Carlsten, Marla Geha | Summary: [[{“value”:”The satellite populations of Milky Way–mass systems have been extensively studied, significantly advancing our understanding of galaxy formation and dark matter physics. In contrast, the satellites of lower-mass dwarf galaxies remain largely unexplored, despite hierarchical structure formation predicting that dwarf galaxies […]
Kavli Affiliate: Xian Chen | First 5 Authors: Xian Chen, Rong Qu, Jing Dong, Ruibin Bai, Yaochu Jin | Summary: Dynamic scheduling in real-world environments often struggles to adapt to unforeseen disruptions, making traditional static scheduling methods and human-designed heuristics inadequate. This paper introduces an innovative approach that combines Genetic Programming (GP) with a Transformer […]
Kavli Affiliate: Xian Chen | First 5 Authors: Xian Chen, Rong Qu, Jing Dong, Ruibin Bai, Yaochu Jin | Summary: Dynamic scheduling in real-world environments often struggles to adapt to unforeseen disruptions, making traditional static scheduling methods and human-designed heuristics inadequate. This paper introduces an innovative approach that combines Genetic Programming (GP) with a Transformer […]