Demo Data from EDBT 2026 / reviewers in the wild / expert
Ran Xin
dblp:144/6071
· DBLP profile ↗
8ranked-venue papers
4as first author
5since 2021 · last 2025
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 first-author · 3 since 2021Graphics, computer vision, multimedia, augmented reality and games · 2 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 1 since 2021Computer networks · 1
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.
| Theoretical computer science
3 papers |
Mathematical optimization · 57% Automated reasoning and model checking · 43% | |
| Artificial intelligence
2 papers |
Optimization for machine learning · 35% Language models and text generation · 30% Planning, search and constraint satisfaction · 30% | |
| Computer networks
1 paper |
Wireless networking · 50% Network optimization and economics · 25% Edge and fog computing · 25% |
Topics — the 17 heaviest of 17, 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
distributed optimization |
0.5 | 1 | 2021 | A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021 |
Machine learning › Optimization for machine learning
variance reduction |
0.5 | 1 | 2021 | A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021 |
Mathematical optimization › nonconvex optimization › critical point analysis
first-order stationary point |
0.5 | 1 | 2021 | A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021 |
Mathematical optimization
nonconvex optimization |
0.5 | 1 | 2021 | A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021 |
Mathematical optimization › distributed optimization
decentralized optimization |
0.4 | 1 | 2020 | A General Framework for Decentralized Optimization With First-Order Methods · Proc. IEEE 2020 |
Mathematical optimization › continuous optimization › convex optimization
first-order methods |
0.4 | 1 | 2020 | A General Framework for Decentralized Optimization With First-Order Methods · Proc. IEEE 2020 |
Mathematical optimization › stochastic optimization
stochastic first-order methods |
0.4 | 1 | 2020 | A General Framework for Decentralized Optimization With First-Order Methods · Proc. IEEE 2020 |
Wireless networking › WLAN › wireless access point
access point association |
0.2 | 1 | 2014 | AP Association for Proportional Fairness in Multirate WLANs · IEEE/ACM Trans. Netw. 2014 |
Network optimization and economics › fairness
proportional fairness |
0.2 | 1 | 2014 | AP Association for Proportional Fairness in Multirate WLANs · IEEE/ACM Trans. Netw. 2014 |
Edge and fog computing
resource management |
0.2 | 1 | 2014 | AP Association for Proportional Fairness in Multirate WLANs · IEEE/ACM Trans. Netw. 2014 |
Wireless networking
WLAN |
0.2 | 1 | 2014 | AP Association for Proportional Fairness in Multirate WLANs · IEEE/ACM Trans. Netw. 2014 |
Machine learning › Efficient and distributed learning
distributed training |
0.1 | 1 | 2021 | A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021 |
Distributed systems
consensus |
0.1 | 1 | 2020 | A General Framework for Decentralized Optimization With First-Order Methods · Proc. IEEE 2020 |
Methods — techniques the papers use, named apart from their topics
gradient tracking · 1.9large language model · 1.7best-first tree search · 1.7hybrid stochastic gradient · 1.0variance reduction · 0.9relaxation · 0.2nonlinear programming · 0.2distributed heuristic · 0.2
| 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) | 1 |
| 2024 | A few-shot disease diagnosis decision making model based on meta-learning for general practice
Qianghua Liu, Yu Tian 0002, Kewei Lyu, Ran Xin, Yong Shang, Ying Liu 0092, Jingsong Li 0001 |
Artif. Intell. Medicine | 5 |
| 2021 | A Decentralized Variance-Reduced Method for Stochastic Optimization Over Directed GraphsabstractIn this paper, we propose a decentralized first-order stochastic optimization method Push-SAGA for finite-sum minimization over a strongly connected directed graph. This method features local variance reduction to remove the uncertainty caused by random sampling of the local gradients, global gradient tracking to address the distributed nature of the data, and push-sum consensus to handle the imbalance caused by the directed nature of the underlying graph. We show that, for a sufficiently small step-size, Push-SAGA linearly converges to the optimal solution for smooth and strongly convex problems, making it the first linearly-convergent stochastic algorithm over arbitrary strongly-connected directed graphs. We illustrate the behavior and convergence properties of Push-SAGA with the help of numerical experiments for strongly convex and non-convex problems. Muhammad I. Qureshi, Ran Xin, Soummya Kar, Usman A. Khan |
ICASSP | 2 |
| 2021 | A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex OptimizationabstractThis paper considers decentralized stochastic optimization over a network of $n$ nodes, where each node possesses a smooth non-convex local cost function and the goal of the networked nodes is to find an $\epsilon$-accurate first-order stationary point of the sum of the local costs. We focus on an online setting, where each node accesses its local cost only by means of a stochastic first-order oracle that returns a noisy version of the exact gradient. In this context, we propose a novel single-loop decentralized hybrid variance-reduced stochastic gradient method, called GT-HSGD, that outperforms the existing approaches in terms of both the oracle complexity and practical implementation. The GT-HSGD algorithm implements specialized local hybrid stochastic gradient estimators that are fused over the network to track the global gradient. Remarkably, GT-HSGD achieves a network topology-independent oracle complexity of $O(n^{-1}\epsilon^{-3})$ when the required error tolerance $\epsilon$ is small enough, leading to a linear speedup with respect to the centralized optimal online variance-reduced approaches that operate on a single node. Numerical experiments are provided to illustrate our main technical results. Ran Xin, Usman A. Khan, Soummya Kar |
ICML | 1 |
| 2021 | EHR-Oriented Knowledge Graph System: Toward Efficient Utilization of Non-Used Information Buried in Routine Clinical PracticeabstractNon-used clinical information has negative implications on healthcare quality. Clinicians pay priority attention to clinical information relevant to their specialties during routine clinical practices but may be insensitive or less concerned about information showing disease risks beyond their specialties, resulting in delayed and missed diagnoses or improper management. In this study, we introduced an electronic health record (EHR)-oriented knowledge graph system to efficiently utilize non-used information buried in EHRs. EHR data were transformed into a semantic patient-centralized information model under the ontology structure of a knowledge graph. The knowledge graph then creates an EHR data trajectory and performs reasoning through semantic rules to identify important clinical findings within EHR data. A graphical reasoning pathway illustrates the reasoning footage and explains the clinical significance for clinicians to better understand the neglected information. An application study was performed to evaluate unconsidered chronic kidney disease (CKD) reminding for non-nephrology clinicians to identify important neglected information. The study covered 71,679 patients in non-nephrology departments. The system identified 2,774 patients meeting CKD diagnosis criteria and 10,377 patients requiring high attention. A follow-up study of 5,439 patients showed that 82.1% of patients who met the diagnosis criteria and 61.4% of patients requiring high attention were confirmed to be CKD positive during follow-up research. The application demonstrated that the proposed approach is feasible and effective in clinical information utilization. Additionally, it's valuable as an explainable artificial intelligence to provide interpretable recommendations for specialist physicians to understand the importance of non-used data and make comprehensive decisions. Yong Shang, Yu Tian 0002, Kewei Lyu, Ran Xin, Tingbo Liang, Shiqiang Zhu, Jingsong Li 0001 |
IEEE J. Biomed. Health Informatics | 7 |
| 2020 | A General Framework for Decentralized Optimization With First-Order MethodsabstractDecentralized optimization to minimize a finite sum of functions, distributed over a network of nodes, has been a significant area within control and signal-processing research due to its natural relevance to optimal control and signal estimation problems. More recently, the emergence of sophisticated computing and large-scale data science needs have led to a resurgence of activity in this area. In this article, we discuss decentralized first-order gradient methods, which have found tremendous success in control, signal processing, and machine learning problems, where such methods, due to their simplicity, serve as the first method of choice for many complex inference and training tasks. In particular, we provide a general framework of decentralized first-order methods that is applicable to directed and undirected communication networks alike and show that much of the existing work on optimization and consensus can be related explicitly to this framework. We further extend the discussion to decentralized stochastic first-order methods that rely on stochastic gradients at each node and describe how local variance reduction schemes, previously shown to have promise in the centralized settings, are able to improve the performance of decentralized methods when combined with what is known as gradient tracking. We motivate and demonstrate the effectiveness of the corresponding methods in the context of machine learning and signal-processing problems that arise in decentralized environments. Ran Xin, Shi Pu 0004, Angelia Nedic, Usman A. Khan |
Proc. IEEE | 1 |
| 2019 | Distributed Nesterov Gradient Methods Over Arbitrary GraphsabstractIn this letter, we introduce a distributed Nesterov gradient method, ABN, that does not require doubly stochastic weights. Instead, the implementation is based on a simultaneous application of both row- and column-stochastic weights that makes ABN applicable to arbitrary (strongly-connected) graphs. Since constructing column-stochastic weights needs additional information (the number of outgoing neighbors), not available in certain communication protocols, we derive a variation, FROZEN, that only requires row-stochastic weights, but at the expense of additional iterations for eigenvector estimation. We numerically study these algorithms for various objective functions and network parameters and show that the proposed distributed Nesterov gradient methods achieve acceleration compared to the current state-of-the-art methods for distributed optimization. Ran Xin, Dusan Jakovetic, Usman A. Khan |
IEEE Signal Process. Lett. | 1 |
| 2014 | AP Association for Proportional Fairness in Multirate WLANsabstractIn this paper, we investigate the problem of achieving proportional fairness via access point (AP) association in multirate WLANs. This problem is formulated as a nonlinear programming with an objective function of maximizing the total user bandwidth utilities in the whole network. Such a formulation jointly considers fairness and AP selection. We first propose a centralized algorithm Non-Linear Approximation Optimization for Proportional Fairness (NLAO-PF) to derive the user-AP association via relaxation. Since the relaxation may cause a large integrality gap, a compensation function is introduced to ensure that our algorithm can achieve at least half of the optimal in the worst case. This algorithm is assumed to be adopted periodically for resource management. To handle the case of dynamic user membership, we propose a distributed heuristic Best Performance First (BPF) based on a novel performance revenue function, which provides an AP selection criterion for newcomers. When an existing user leaves the network, the transmission times of other users associated with the same AP can be redistributed easily based on NLAO-PF. Extensive simulation study has been performed to validate our design and to compare the performance of our algorithms to those of the state of the art. Wei Li 0059, Shengling Wang 0001, Yong Cui 0001, Xiuzhen Cheng, Ran Xin, Mznah Al-Rodhaan, Abdullah Al-Dhelaan |
IEEE/ACM Trans. Netw. | 5 |