15 citations · 23 across the 8 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.SE2026
SpecAgent: Empowering Program Verification with Agentic Synthesis of Formal Program Specifications
Lezhi Ma, Han Wang, Shangqing Liu +2
Formal specifications are essential for deductive program verification, providing semantic abstractions for compositional verification of complex software. However, manually constr…
cs.SE2026
A Comprehensive Study of Implementation Bugs in Multi-modal Agents
Suwan Li, Lei Bu, Shangqing Liu +5
Multi-Modal Agents (M-agents), empowered by Large Language Models (LLMs), excel in various complex, open-world scenarios such as autonomous driving and robotics. However, their uni…
cs.SE2026
SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
Lezhi Ma, Shangqing Liu, Yi Li +4
Program verification is a formal technique to rigorously ensure the correctness and fault-freeness of software systems. However, constructing comprehensive interprocedural specific…