2 citations · 2 across the 3 of their papers we have counts for
3 papers
eess.SY2026
Policy-Level Recursive Self-Improvement for Embodied AI with a Criticality World Model
Linxuan He, Yuying Tian, Lingxiang Fan +5
Despite advances in policy pretraining, embodied AI systems can plateau during task-specific fine-tuning as uniform scenario collection encounters fewer of the remaining failures.…
eess.SY2025
Efficient Safety Verification of Autonomous Vehicles with Neural Network Operator
Lingxiang Fan, Linxuan He, Haoyuan Ji +1
When autonomous vehicles encounter untrained scenarios, ensuring safety hinges on effective safety verification to prevent accidents stemming from unexpected model decisions. Reach…
eess.SY2025★ 2 cited
Towards provable probabilistic safety for scalable embodied AI systems
Linxuan He, Lingxiang Fan, Qing-Shan Jia +13
Embodied AI systems, comprising AI models and physical plants, are increasingly prevalent across various applications. Due to the rarity of system failures, ensuring their safety i…