Projects | Wenkai Xing

Hybrid Natural and Formal Language Verifier

Tue, 21 Jul 2026 00:00:00 +0000

This verifier combines natural-language specifications with formal specifications, allowing users to trade token budget for stronger and more reliable safety assurances.

It is more precise than natural-language specifications while making precise feedback on specification and code correctness easier to obtain than with traditional formal specifications alone.

SuianCare

Wed, 24 Jun 2026 00:00:00 +0000

SuianCare is an active care mobile assistant for elderly users. It monitors daily first-person context, proactively identifies situations that need reminders, and provides voice and vibration prompts.

The project focuses on practical daily safety scenarios, accessible interaction, and privacy-aware design.

Autonomous Intelligent Car

Sat, 01 Jun 2024 00:00:00 +0000

This autonomous intelligent car project demonstrates perception and navigation on a physical driving course. The system follows track boundaries, handles turns, and navigates obstacle layouts in real time.

for a complete demonstration.

RuleHook

Sat, 24 Jun 2023 00:00:00 +0000

RuleHook is a Python toolkit that turns natural-language engineering policies into executable hook checks during agent workflows.

It supports cross-platform enforcement for Claude Code, Cursor, and Codex, with deny, remind, and warn actions backed by rule-driven event matching.