Kavli Affiliate: Ran Wang | First 5 Authors: Marco Dos Santos, Haiming Wang, Hugues de Saxcé, Ran Wang, Mantas Baksys | Summary: We introduce the Kimina Lean Server, an open-source project that enables fast and scalable interaction with Lean 4 via a unified REST API, designed as a simple verifier for reinforcement learning pipelines. Built […]
Kavli Affiliate: Erich Jarvis | Authors: Matthew T Biegler, Elijah Harter, Asha V Sidhu, Christina Szialta, Gillian Durham, Lotem Tchernichovski, Paul Collier, Ji-Dung Luo, Wei Wang, Ryan MacIsaac, Kirubel Belay, Thomas Carroll, Anna L Keyte and Erich D Jarvis | Summary: Primordial germ cells (PGCs) are germline stem cells that develop into sperm or egg […]
Kavli Affiliate: Jean-Laurent Casanova | Authors: Narelle Keating, Karen Doggett, Grace Bidgood, Lizeth G Meza Guzman, Laura Dagley, Kunlun Li, Anna Gabrielyan, Carolina Alvarado, Bailey Williams, Benjamin Broomfield, Brigette Duckworth, Colin Hockings, Jumana Youssef, Evelyn Leong, Rhiannon Morris, Andrew Kueh, Alexandra Garnham, Jean-Laurent Casanova, Stephanie Boisson-Dupuis, Jeffrey Babon, Edmond Linossi, Michelle D Tate, Joanna R. […]
Kavli Affiliate: Cheng Peng | First 5 Authors: Neil Joshi, Joshua Carney, Nathanael Kuo, Homer Li, Cheng Peng | Summary: Production of photorealistic, navigable 3D site models requires a large volume of carefully collected images that are often unavailable to first responders for disaster relief or law enforcement. Real-world challenges include limited numbers of images, […]
Kavli Affiliate: Erin Kara | First 5 Authors: XRISM Collaboration, Marc Audard, Hisamitsu Awaki, Ralf Ballhausen, Aya Bamba | Summary: The XRISM Resolve microcalorimeter array measured the velocities of hot intracluster gas at two positions in the Coma galaxy cluster: 3’x3′ squares at the center and at 6′ (170 kpc) to the south. We find […]
Kavli Affiliate: Yi Zhou | First 5 Authors: Yi Zhou, Wenpeng Xing, Dezhang Kong, Changting Lin, Meng Han | Summary: Safety alignment in large language models (LLMs) is achieved through fine-tuning mechanisms that regulate neuron activations to suppress harmful content. In this work, we propose a novel approach to induce disalignment by identifying and modifying […]
Kavli Affiliate: Rudolf Podgornik | First 5 Authors: Aoran Sun, Da Wei, Yiyu Zhang, Fangfu Ye, Rudolf Podgornik | Summary: We study an active Brownian run-and-tumble particle (ABRTP) model, that consists of an active Brownian run state during which the active velocity of the particle diffuses on the unit circle, and a tumble state during […]