3 papers
cs.CV2025
FrEVL: Leveraging Frozen Pretrained Embeddings for Efficient Vision-Language Understanding
Emmanuelle Bourigault, Pauline Bourigault
The deployment of vision-language models remains constrained by substantial computational requirements. We present \textbf{FrEVL}, a framework exploring whether frozen pretrained e…
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…
cs.LG2025
Kernel-Based Anomaly Detection Using Generalized Hyperbolic Processes
Pauline Bourigault, Danilo P. Mandic
We present a novel approach to anomaly detection by integrating Generalized Hyperbolic (GH) processes into kernel-based methods. The GH distribution, known for its flexibility in m…