Enhancing automated loop invariant generation for complex programs with large language models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li 0001. Enhancing automated loop invariant generation for complex programs with large language models. Science of Computer Programming, 248:103387, 2026. [doi]

This author has not been identified. Look up 'Ruibang Liu' in GoogleThis author has not been identified. Look up 'Minyu Chen' in GoogleThis author has not been identified. Look up 'Ling-I Wu' in GoogleThis author has not been identified. Look up 'Jingyu Ke' in GoogleThis author has not been identified. Look up 'Guoqiang Li 0001' in Google

runs on WebDSL