Shuming Shi

2
Papers
11
Total Citations

Papers (2)

Retrieval is Accurate Generation

ICLR 2024
11
citations

Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework

CVPR 2025
0
citations