Zhengfeng Yang

2
Papers
0
Total Citations

Papers (2)

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

CVPR 2025
0
citations

Automated Proof of Polynomial Inequalities via Reinforcement Learning

CVPR 2025
0
citations