Demo Data from VLDB 2026 / reviewers in the wild / expert
Chenguang Xi
dblp:156/0282
· DBLP profile ↗
4ranked-venue papers
2as first author
2since 2021 · last 2025
0000-0003-0504-1015ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 1 first-author · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
2 papers |
Language models and text generation · 27% Planning, search and constraint satisfaction · 27% Optimization for machine learning · 26% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% | |
| Databases, data mining, and information retrieval
1 paper |
Recommender systems · 100% |
Topics — the 7 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Natural language and speech › Language models and text generation
large language model reasoning |
0.9 | 1 | 2025 | BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving · ACL (1) 2025 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
tree search |
0.9 | 1 | 2025 | BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving · ACL (1) 2025 |
Automated reasoning and model checking
automated theorem proving |
0.9 | 1 | 2025 | BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving · ACL (1) 2025 |
Automated reasoning and model checking
theorem proving |
0.9 | 1 | 2025 | BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving · ACL (1) 2025 |
Machine learning › Optimization for machine learning › adaptive optimization
adaptive gradient clipping |
0.7 | 1 | 2023 | CowClip: Reducing CTR Prediction Model Training Time from 12 Hours to 10 Minutes on 1 GPU · AAAI 2023 |
Machine learning › Deep learning architectures and training › training optimization
large-batch training |
0.7 | 1 | 2023 | CowClip: Reducing CTR Prediction Model Training Time from 12 Hours to 10 Minutes on 1 GPU · AAAI 2023 |
Recommender systems
click-through rate prediction |
0.7 | 1 | 2023 | CowClip: Reducing CTR Prediction Model Training Time from 12 Hours to 10 Minutes on 1 GPU · AAAI 2023 |
Methods — techniques the papers use, named apart from their topics
large language model · 1.7best-first tree search · 1.7large-batch training · 1.3l2 regularization · 1.3column-wise clipping · 1.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingabstractRan Xin, Chenguang Xi, Jie Yang, Feng Chen, Hang Wu, Xia Xiao, Yifan Sun, Shen Zheng, Ming Ding. Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2025. Ran Xin, Chenguang Xi, Jie Yang 0078, Feng Chen 0046, Xia Xiao 0003 |
ACL (1) | 2 |
| 2023 | CowClip: Reducing CTR Prediction Model Training Time from 12 Hours to 10 Minutes on 1 GPUabstractThe click-through rate (CTR) prediction task is to predict whether a user will click on the recommended item. As mind-boggling amounts of data are produced online daily, accelerating CTR prediction model training is critical to ensuring an up-to-date model and reducing the training cost. One approach to increase the training speed is to apply large batch training. However, as shown in computer vision and natural language processing tasks, training with a large batch easily suffers from the loss of accuracy. Our experiments show that previous scaling rules fail in the training of CTR prediction neural networks. To tackle this problem, we first theoretically show that different frequencies of ids make it challenging to scale hyperparameters when scaling the batch size. To stabilize the training process in a large batch size setting, we develop the adaptive Column-wise Clipping (CowClip). It enables an easy and effective scaling rule for the embeddings, which keeps the learning rate unchanged and scales the L2 loss. We conduct extensive experiments with four CTR prediction networks on two real-world datasets and successfully scaled 128 times the original batch size without accuracy loss. In particular, for CTR prediction model DeepFM training on the Criteo dataset, our optimization framework enlarges the batch size from 1K to 128K with over 0.1% AUC improvement and reduces training time from 12 hours to 10 minutes on a single V100 GPU. Our code locates at github.com/bytedance/LargeBatchCTR. Zangwei Zheng, Pengtai Xu, Xuan Zou, Da Tang, Zhen Li 0026, Chenguang Xi, Leqi Zou, Xiangzhuo Ding, Fuzhao Xue, Ziheng Qin, Youlong Cheng, Yang You 0001 |
AAAI | 6 |
| 2017 | Optimization over directed graphs: Linear convergence rateabstractThis paper considers distributed multi-agents optimization problems where agents collaborate to minimize the sum of locally known convex functions. We focus on the case when the communication between agents is described by a directed graph. The proposed algorithm achieves the best known rate of convergence for this class of problems, O(μk) for 0 <; μ <; 1, given that the objective functions are strongly-convex, where k is the number of iterations. Moreover, it provides a wider and more realistic range of step-size compared with existing methods. Chenguang Xi, Usman A. Khan |
ICASSP | 1 |
| 2017 | On the distributed optimization over directed networks
Chenguang Xi, Usman A. Khan |
Neurocomputing | 1 |