5 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.LG2025
GPML: Graph Processing for Machine Learning
Majed Jaber, Julien Michel, Nicolas Boutry +1
The dramatic increase of complex, multi-step, and rapidly evolving attacks in dynamic networks involves advanced cyber-threat detectors. The GPML (Graph Processing for Machine Lear…
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…
cs.CV2016★ 5 cited
Texture and Color-based Image Retrieval Using the Local Extrema Features and Riemannian Distance
Minh-Tan Pham, Grégoire Mercier, Lionel Bombrun +1
A novel efficient method for content-based image retrieval (CBIR) is developed in this paper using both texture and color features. Our motivation is to represent and characterize…