There's a binomial_logit(n,x) that's equivalent to binomial(n,inv_logit(x)).