Verifying Algorithmic Versions of the Lovász Local Lemma. - Rongen Lin; Hongjin Liang 001; Xinyu Feng (ESOP (1), 2025)