Author

Ji Wang

h-index 2 View on Semantic Scholar

We have 2 of 12 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

LimICE: Integrating LLM into ICE Framework for Efficient Loop Invariant Inference

Loop invariant synthesis is a fundamental problem in program verification, yet the inherent undecidability makes it highly challenging. Recent studies have increasingly employed various machine learning techniques to generate loop invariants. However, most of these methods adopt a monolithic approach. Due to the inabil...

Kai Fan, Shiwen Yu, Guangsheng Fan et al. · arXiv.org · 0 citations

Jul 2026

Path-Sensitive Loop Invariant Inference via Large Language Models and Abstract Interpretation

Loop invariant inference remains a core challenge in program verification, particularly when disjunctive invariants are required. In this paper, we present a path-sensitive loop invariant inference approach based on Large Language Models (LLMs) and abstract interpretation. We apply abstract interpretation to derive ini...

Guangsheng Fan, Liqian Chen, Peisen Yao et al. · ACM Transactions on Software... · 0 citations