9 citations · 18 across the 5 of their papers we have counts for
5 papers
Learning to Prove Trigonometric Identities
Zhou Liu, Yujun Li, Zhengying Liu +2
Automatic theorem proving with deep learning methods has attracted attentions recently. In this paper, we construct an automatic proof system for trigonometric identities. We defin…
An Asymptotically Optimal Multi-Armed Bandit Algorithm and Hyperparameter Optimization
Yimin Huang, Yujun Li, Hanrong Ye +2
The evaluation of hyperparameters, neural architectures, or data augmentation policies becomes a critical model selection problem in advanced deep learning with a large hyperparame…
A Stochastic Proximal Point Algorithm for Saddle-Point Problems
Luo Luo, Cheng Chen, Yujun Li +2
We consider saddle point problems which objective functions are the average of strongly convex-concave individual components. Recently, researchers exploit variance reduction m…
Accelerating Random Kaczmarz Algorithm Based on Clustering Information
Yujun Li, Kaichun Mo, Haishan Ye
Kaczmarz algorithm is an efficient iterative algorithm to solve overdetermined consistent system of linear equations. During each updating step, Kaczmarz chooses a hyperplane based…
A Simple Approach to Optimal CUR Decomposition
Haishan Ye, Yujun Li, Zhihua Zhang
Prior optimal CUR decomposition and near optimal column reconstruction methods have been established by combining BSS sampling and adaptive sampling. In this paper, we propose a ne…