Chuchu Fan

3

Papers

22

Total Citations

Papers (3)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance

Scalable Surrogate Verification of Image-Based Neural Network Control Systems Using Composition and Unrolling

HMARL-CBF – Hierarchical Multi-Agent Reinforcement Learning with Control Barrier Functions for Safety-Critical Autonomous Systems