research
∙
07/14/2022
Learning to Prove Trigonometric Identities
Automatic theorem proving with deep learning methods has attracted atten...
share
research
∙
02/05/2022
GraphEye: A Novel Solution for Detecting Vulnerable Functions Based on Graph Attention Network
With the continuous extension of the Industrial Internet, cyber incident...
research
∙
07/11/2020
An Asymptotically Optimal Multi-Armed Bandit Algorithm and Hyperparameter Optimization
The evaluation of hyperparameters, neural architectures, or data augment...
research
∙
09/13/2019
A Stochastic Proximal Point Algorithm for Saddle-Point Problems
We consider saddle point problems which objective functions are the aver...
research
∙
03/24/2009