8 citations · 16 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
BALI: Branch-Aware Loop Invariant Inference with Large Language Models
Mingxiu Wang, Jiawei Wang, Xiao Cheng
Loop invariants are fundamental for reasoning about the correctness of iterative algorithms. However, deriving suitable invariants remains a challenging and often manual task, part…
cs.SE2025
DependEval: Benchmarking LLMs for Repository Dependency Understanding
Junjia Du, Yadi Liu, Hongcheng Guo +4
While large language models (LLMs) have shown considerable promise in code generation, real-world software development demands advanced repository-level reasoning. This includes un…