r - スタンでのデータ拡張によるプロビット回帰

Question

スタンを使用してデータ拡張を使用してプロビット モデルを実行しようとしています。yここで、潜在変数の符号を示す 0/1 のいずれかの結果が得られますystar。これは私がこれまでに持っているものですが、modelについてのセクションに情報を追加する方法がわかりませんy。何かご意見は？

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);
}