ML Anthology

Liu, Banglong

2 publications

CVPR 2025 Automated Proof of Polynomial Inequalities via Reinforcement Learning Banglong Liu, Niuniu Qi, Xia Zeng, Lydia Dehbi, Zhengfeng Yang
CVPR 2025 Learning-Enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework Hanrui Zhao, Niuniu Qi, Mengxin Ren, Banglong Liu, Shuming Shi, Zhengfeng Yang