Understanding weather model

Hi there,
I am totally new to Pyro and Probabilistic modeling, struggling with the very first weather model. Is this the right interpretation we are looking for using the Bayes theorem:

P(temp|cloudy,sunny) = P(cloudy, sunny|temp) * P(temp) / P(cloudy, sunny)

temp is the latent variable.

  • Pyro doc tutorial
  • version of Pyro 1.6.0
  • code: weather

Thanks.

Yes, I think it is the right formula.

Thanks for the reply, it was much needed to clear my understanding.