Niuniu Qi

2

papers

0

total citations

papers (2)

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

Automated Proof of Polynomial Inequalities via Reinforcement Learning