4 citations · 5 across the 2 of their papers we have counts for
3 papers
cs.AI2025★ 1 cited
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…
math.PR2009★ 4 cited
Asymptotics of the visibility function in the Boolean model
Pierre Calka, Julien Michel, Sylvain Porret-Blanc
The aim of this paper is to give a precise estimate on the tail probability of the visibility function in a germ-grain model: this function is defined as the length of the longest…
math.PR2008
Refined convergence for the Boolean model
Pierre Calka, Julien Michel, Katy Paroux
In a previous work, two of the authors proposed a new proof of a well known convergence result for the scaled elementary connected vacant component in the high intensity Boolean mo…