Zeyu Sun
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Software Eng.×1Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base
Proposed method, KBSpec, uses external and internal knowledge to improve formal specification generation by LLMs, increasing verification pass rates and producing more high-completeness specifications.
Highlighted terms show continued research focus across papers