The state s h i at i-th time-step should provide adequate information for deciding to se-lect a clause or not for ) which could be cast as a binary classification problem.
we adopt logistic function to define where h ∈ R} is the trainable parameter; ∼ denotes sampling operation; σ denotes sigmod function.