We gratefully acknowledge support from
the Simons Foundation and member institutions.

Runzhong Wang is qualified to endorse.

LinSATNet: The Positive Linear Satisfiability Neural Networks

Runzhong Wang: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CV, cs.LG. (why?)

Yunhao Zhang, Ziao Guo, Tianyi Chen, Xiaokang Yang and Junchi Yan are not registered as owners of this paper. (why?)