Learning to Solve Weighted Maximum Satisfiability with a Co-Training Architecture. - Kaidi Wan; Minghao Liu; Yong Lai (CoRR, 2025)