Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

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 […]


Continue.. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

Giant Magnetocaloric Effect in Spin Supersolid Candidate Na$_2$BaCo(PO$_4$)$_2$

Kavli Affiliate: Gang Su | First 5 Authors: Junsen Xiang, Chuandi Zhang, Yuan Gao, Wolfang Schmidt, Karin Schmalzl | Summary: Supersolid, an exotic quantum state of matter that consists of particles forming an incompressible solid structure while simultaneously showing superfluidity of zero viscosity [1], is one of the long-standing pursuits in fundamental research [2, 3]. […]


Continue.. Giant Magnetocaloric Effect in Spin Supersolid Candidate Na$_2$BaCo(PO$_4$)$_2$

Towards Efficient Partially Relevant Video Retrieval with Active Moment Discovering

Kavli Affiliate: Long Zhang | First 5 Authors: Peipei Song, Long Zhang, Long Lan, Weidong Chen, Dan Guo | Summary: Partially relevant video retrieval (PRVR) is a practical yet challenging task in text-to-video retrieval, where videos are untrimmed and contain much background content. The pursuit here is of both effective and efficient solutions to capture […]


Continue.. Towards Efficient Partially Relevant Video Retrieval with Active Moment Discovering

Symmetry-protected topological order identified via Gutzwiller-guided density-matrix-renormalization-group: $mathrm{SO}(n)$ spin chains

Kavli Affiliate: Yi Zhou | First 5 Authors: Pei-Yuan Cai, Hui-Ke Jin, Yi Zhou, , | Summary: We present a comprehensive study of topological phases in the SO($n$) spin chains using a combination of analytical parton construction and numerical techniques. For even $n=2l$, we identify a novel SPT$^2$ phase characterized by two distinct topological sectors, […]


Continue.. Symmetry-protected topological order identified via Gutzwiller-guided density-matrix-renormalization-group: $mathrm{SO}(n)$ spin chains

Superconducting quantum oscillations and anomalous negative magnetoresistance in a honeycomb nanopatterned oxide interface superconductor

Kavli Affiliate: Yi Zhou | First 5 Authors: Yishuai Wang, Siyuan Hong, Wenze Pan, Yi Zhou, Yanwu Xie | Summary: The extremely low superfluid density and unprecedented tunability of oxide interface superconductors provide an ideal platform for studying fluctuations in two-dimensional superconductors. In this work, we have fabricated a LaAlO3/KTaO3 interface superconductor patterned with a […]


Continue.. Superconducting quantum oscillations and anomalous negative magnetoresistance in a honeycomb nanopatterned oxide interface superconductor

Cross terms and monochromatic gravitational wave sources in our Galactic Centre

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 […]


Continue.. Cross terms and monochromatic gravitational wave sources in our Galactic Centre

Massive Black Hole Seed Formation in Strong X-ray Environments at High Redshift

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$) […]


Continue.. Massive Black Hole Seed Formation in Strong X-ray Environments at High Redshift

Measuring Casimir Force Across a Superconducting Transition

Kavli Affiliate: Sander Otte | First 5 Authors: Minxing Xu, Robbie J. G. Elbertse, Ata Keşkekler, Giuseppe Bimonte, Jinwon Lee | Summary: The Casimir effect and superconductivity are foundational quantum phenomena whose interaction remains an open question in physics. How Casimir forces behave across a superconducting transition remains unresolved, owing to the experimental difficulty of […]


Continue.. Measuring Casimir Force Across a Superconducting Transition

Do We Know How to Model Reionization?

Kavli Affiliate: Nickolay Y. Gnedin | First 5 Authors: Nickolay Y. Gnedin, , , , | Summary: I compare the power spectra of the radiation fields from two recent sets of fully-coupled simulations that model cosmic reionization: "Cosmic Reionization On Computers" (CROC) and "Thesan". While both simulations have similar power spectra of the radiation sources, […]


Continue.. Do We Know How to Model Reionization?

Quantum geometry from the Moyal product: quantum kinetic equation and non-linear response

Kavli Affiliate: Leon Balents | First 5 Authors: Takamori Park, Xiaoyang Huang, Lucile Savary, Leon Balents, | Summary: We systematically derive the dissipationless quantum kinetic equation for a multi-band free fermionic system with U(1) symmetry. Using the Moyal product formalism, we fully band-diagonalize the dynamics. Expanding to the second order in gradients, which is beyond […]


Continue.. Quantum geometry from the Moyal product: quantum kinetic equation and non-linear response