Ruobing Zuo

According to our database, Ruobing Zuo authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates.

Ruobing Zuo, Hanrui Zhao, Gaolei He, Zhengfeng Yang, Jianlin Wang

CoRR, May, 2026

2025

CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization.

Shuming Shi, Ruobing Zuo, Gaolei He, Jianxin Wang, Chenyang Xu, Zhengfeng Yang

CoRR, February, 2025

QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs.

Lei Wang, Ruobing Zuo, Gaolei He, Jianlin Wang, Zhengfeng Yang

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

An Improved YOLOv5s-Based Smoke Detection System for Outdoor Parking Lots.

Ruobing Zuo, Xiaohan Huang, Xuguo Jiao, Zhenyong Zhang

Comput. Mater. Continua, 2024