Yixuan Wang

An Intrusion Detection Algorithm for Resource-Constrained IoT

2022 · 2022 7th International Conference on Computer and Communication Systems (ICCCS)

Most of the existing intrusion detection algorithms are complex and consume a lot of energy, making them unsuitable for application in many resource-constrained IoT scenarios. According to the characteristics of the application scenarios of IoT …

Design-while-verify

2022

In the current control design of safety-critical cyber-physical systems, formal verification techniques are typically applied after the controller is designed to evaluate whether the required properties (e.g., safety) are satisfied. However, due to the increasing …

Span-based Joint Entity and Relation Extraction with Light Attention Encoder

2022 · Research Square

Abstract The construction and updating of the knowledge graph need to obtain a lot of knowledge in time. Text data generated continuously on the Internet is an important source of this knowledge. Especially for the …

CuriousBot: Interactive Mobile Exploration via Actionable 3D Relational Object Graph

2025 · arXiv (Cornell University)

Mobile exploration is a longstanding challenge in robotics, yet current methods primarily focus on active perception instead of active interaction, limiting the robot's ability to interact with and fully explore its environment. Existing robotic exploration …

RE$^2$: Improving Chinese Grammatical Error Correction via Retrieving Appropriate Examples with Explanation

2025 · arXiv (Cornell University)

The primary objective of Chinese grammatical error correction (CGEC) is to detect and correct errors in Chinese sentences. Recent research shows that large language models (LLMs) have been applied to CGEC with significant results. For …