ML Anthology

Wu, Xiwei

1 publications

NeurIPS 2024 Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation Chang Liu, Xiwei Wu, Yuan Feng, Qinxiang Cao, Junchi Yan