Luo, Xiangfeng

1. FormalGeo: An Extensible Formalized Framework for Olympiad Geometric Problem Solving
   2023/10/27 by Xiaokai Zhang, Na Zhu, Zhang, Xiaokai +37 · 4 citations
   Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Constraint Satisfaction and Optimization
2. A Targeted Universal Attack on Graph Convolutional Network
   2020/11/29 by Jiazhu Dai, Dai, Jiazhu, Weifeng Zhu +3 · 2 citations
   Computer Science · #Advanced Graph Neural Networks #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Network Security and Intrusion Detection
3. Proximal Policy Optimization with Mixed Distributed Training
   2019/07/15 by Zhenyu Zhang, Zhang, Zhenyu, Xiangfeng Luo +13 · 1 citation
   Computer Science · Decision Sciences · Engineering · #Advanced Bandit Algorithms Research #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics #Robot Manipulation and Learning