Fast column generation for atomic norm regularization. - Marina Vinyes; Guillaume Obozinski (AISTATS, 2017)

Learning the effect of latent variables in Gaussian Graphical models with unobserved variables. - Marina Vinyes; Guillaume Obozinski (CoRR, 2018)

Convex matrix sparsity for demixing with an application to graphical model structure estimation. (Parcimonie matricielle convexe pour les problèmes de démixage avec une application à l'apprentissage de structure de modèles graphiques). - Marina Vinyes (2018)

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning. - Haiming Wang; Mert Unsal; Xiaohan Lin; Mantas Baksys; Junqi Liu; Marco Dos Santos; Flood Sung; Marina Vinyes; Zhenzhe Ying; Zekai Zhu; Jianqiao Lu; Hugues de Saxcé; et al. (CoRR, 2025)