5 papers
Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification
Zhe Zhao, Hongbing Lang, Zhihan Xiao +3
Software-compilable C programs routinely fail to complete the four-stage pipeline of a high-level synthesis (HLS) toolchain -- compilation, C simulation (CSim), synthesis, and C/RT…
SCENIC: Semantic-Conditioned Edge-Aware Neural Framework for Structured IoT Command Generation
Luke Ztz Hu, Hongbing Lang, Songping Mai
Edge Internet of Things (IoT) agents are often constrained by memory capacity, privacy requirements, communication latency, and recurring inference cost. Current smart-home assista…
Shift-Left High-Level Synthesis Verification via Knowledge-Augmented LLM Agent
Zhihan Xiao, Hongbing Lang, Zhe Zhao +2
High-Level Synthesis (HLS) relies on transforming original C specifications into synthesizable HLS-oriented C (HLS-C) implementations. Functional consistency verification between o…
LoVoRA: Text-guided and Mask-free Video Object Removal and Addition with Learnable Object-aware Localization
Zhihan Xiao, Lin Liu, Yixin Gao +4
Text-guided video editing, particularly for object removal and addition, remains a challenging task due to the need for precise spatial and temporal consistency. Existing methods o…
PPNet: A Two-Stage Neural Network for End-to-end Path Planning
Qinglong Meng, Chongkun Xia, Xueqian Wang +2
The classical path planners, such as sampling-based path planners, can provide probabilistic completeness guarantees in the sense that the probability that the planner fails to ret…