Marina Vinyes

According to our database, Marina Vinyes authored at least 4 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

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é, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li

CoRR, April, 2025

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

PhD thesis, 2018

Learning the effect of latent variables in Gaussian Graphical models with unobserved variables.

Marina Vinyes, Guillaume Obozinski

CoRR, 2018

2017

Fast column generation for atomic norm regularization.

Marina Vinyes, Guillaume Obozinski

Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, 2017