2 papers
physics.ins-det2025
Scintillation of liquid nitrogen
L. Pagani, R. Saldanha, B. M. Loer +3
Liquid nitrogen is commonly used in cryogenic applications and is a promising medium for the direct immersion cooling of sensors used for nuclear and particle physics experiments.…
cs.AI2025
Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning
Haiming Wang, Mert Unsal, Xiaohan Lin +37
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 rele…