Since the integral in the denominator is intractable, we look for an appropriate approximation q(θ, X ) ≈ p(θ, X |Y, W).
we assume the rule weights and the derivations are independent, i.e., q(θ, X ) = q(θ)q(X ).