He Xu's picture

He Xu

LaoBang

AI & ML interests

Formal Verification, Self-Driving, System Engineering, Avionic System

Organizations

models

None public yet

datasets

None public yet