Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
training with logical constraints;logical formula encoding;variational learning;stochastic gradient descent ascent
Learning with Logical Constraints but without Shortcut Satisfaction