Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation - Liu, Chang; Wu, Xiwei; Feng, Yuan; Cao, Qinxiang; Yan, Junchi (Advances in Neural Information Processing Systems, 2024)