Rongen Lin

According to our database, Rongen Lin authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Verifying Algorithmic Versions of the Lovász Local Lemma.

Rongen Lin, Hongjin Liang, Xinyu Feng

Proceedings of the Programming Languages and Systems, 2025