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