Regressão probit com aumento de dados em stan

Estou tentando fazer um modelo probit com aumento de dados usando stan. É aqui que temos resultadosy 0/1 que nos indica o sinal da variável latenteystar. É o que tenho até agora, mas não sei como adicionar informações nomodel seção sobrey. Alguma ideia?

data {
  int<lower=0> N; // number of obs
  int<lower=0> K; // number of predictors
  int<lower=0,upper=1> y[N]; // outcomes
  matrix[N, K] x; // predictor variables
}
parameters {
  vector[K] beta; // beta coefficients
  vector[N] ystar; // latent variable
}
model {
  vector[N] mu; 
  beta ~ normal(0, 100);
  mu <- x*beta;
  ystar ~ normal(mu, 1);
}