pith. sign in

Marina Vinyes

Identifiers

  • name variant Marina Vinyes 0.60 · backfill

Papers (2)

  1. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning cs.AI · 2025 · author #8
  2. Learning the effect of latent variables in Gaussian Graphical models with unobserved variables stat.ML · 2018 · author #1

Mentions

  • 2504.11354 #8 · arxiv_oai · confidence 0.70 Marina Vinyes

Frequent Coauthors