Author

Jia-Wan Wang

3 papers indexed here

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.

Preprint Oct 2026

From Natural Language Intent to Executable Control: Hierarchical Feedback-Guided LLM Planning for Multi-component Cyber-Physical Systems

Large language models (LLMs) provide a convenient interface for translating natural language commands into task plans for cyber-physical systems (CPSs). However, two gaps hinder their use for real execution: generated plans may misinterpret or omit the user's intent, and even a logically plausible plan may be infeasibl...

Jing-Lin Dai, Jia-Wan Wang, Rui-Qi Hong et al. · 0 citations

Preprint Oct 2026

SpecAgent: Empowering Program Verification with Agentic Synthesis of Formal Program Specifications

Formal specifications are essential for deductive program verification, providing semantic abstractions for compositional verification of complex software. However, manually constructing specifications is labor-intensive, motivating automated synthesis. Despite recent advances in large language models (LLMs), existing...

Le-Zhi Ma, Han Wang, Shang-Qing Liu et al. · 0 citations

Open access Oct 2026

MG-Fuzz: Model-Guided Fuzzing for Unsafe Scenario Discovery in Autonomous Driving Systems

As autonomous driving systems (ADS) are increasingly deployed in real-world environments, discovering diverse unsafe driving scenarios remains a fundamental yet difficult problem. Existing scenario generation and testing approaches often rely on black-box exploration or externally-observed heuristic feedback, which str...

Yulong Lyu, Rui-Qi Hong, Jia-Wan Wang et al. · Proceedings of the ACM on So... · 0 citations