16 citations · 20 across the 7 of their papers we have counts for
9 papers
Coverage Cliffs in Off-Policy Quantile Certification
Pauline Bourigault, Emmanuelle Bourigault
We study when logged contextual-bandit data can certify an upper tail quantile for a policy selected from the same sample. We construct a PAC-Bayes Bernstein lower-confidence envel…
LeanPolish: Verified Supervision for Lean Proof Compression
Pauline Bourigault
Verified proof edits offer a natural source of supervision for improving language-model-generated Lean proofs. Yet verification establishes that an edit is correct, not that its tr…
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…
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…
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…
MVDiff: Scalable and Flexible Multi-View Diffusion for 3D Object Reconstruction from Single-View
Emmanuelle Bourigault, Pauline Bourigault
Generating consistent multiple views for 3D reconstruction tasks is still a challenge to existing image-to-3D diffusion models. Generally, incorporating 3D representations into dif…
Quaternion recurrent neural network with real-time recurrent learning and maximum correntropy criterion
Pauline Bourigault, Dongpo Xu, Danilo P. Mandic
We develop a robust quaternion recurrent neural network (QRNN) for real-time processing of 3D and 4D data with outliers. This is achieved by combining the real-time recurrent learn…
The HR-Calculus: Enabling Information Processing with Quaternion Algebra
Danilo P. Mandic, Sayed Pouria Talebi, Clive Cheong Took +4
From their inception, quaternions and their division algebra have proven to be advantageous in modelling rotation/orientation in three-dimensional spaces and have seen use from the…
Convex Quaternion Optimization for Signal Processing: Theory and Applications
Shuning Sun, Qiankun Diao, Dongpo Xu +2
Convex optimization methods have been extensively used in the fields of communications and signal processing. However, the theory of quaternion optimization is currently not as ful…