Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Ran Xin

dblp:144/6071 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Natural language and speech › Language models and text generation
large language model reasoning
0.912025
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.912025
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.912025
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving · ACL (1) 2025
Automated reasoning and model checking
theorem proving
0.912025
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.512021
A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021
Machine learning › Optimization for machine learning
variance reduction
0.512021
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.512021
A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021
Mathematical optimization
nonconvex optimization
0.512021
A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021
Mathematical optimization › distributed optimization
decentralized optimization
0.412020
A General Framework for Decentralized Optimization With First-Order Methods · Proc. IEEE 2020
Mathematical optimization › continuous optimization › convex optimization
first-order methods
0.412020
A General Framework for Decentralized Optimization With First-Order Methods · Proc. IEEE 2020
Mathematical optimization › stochastic optimization
stochastic first-order methods
0.412020
A General Framework for Decentralized Optimization With First-Order Methods · Proc. IEEE 2020
Wireless networking › WLAN › wireless access point
access point association
0.212014
AP Association for Proportional Fairness in Multirate WLANs · IEEE/ACM Trans. Netw. 2014
Network optimization and economics › fairness
proportional fairness
0.212014
AP Association for Proportional Fairness in Multirate WLANs · IEEE/ACM Trans. Netw. 2014
Edge and fog computing
resource management
0.212014
AP Association for Proportional Fairness in Multirate WLANs · IEEE/ACM Trans. Netw. 2014
Wireless networking
WLAN
0.212014
AP Association for Proportional Fairness in Multirate WLANs · IEEE/ACM Trans. Netw. 2014
Machine learning › Efficient and distributed learning
distributed training
0.112021
A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization · ICML 2021
Distributed systems
consensus
0.112020
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
YearPublicationVenuePosition
2025 BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving
abstract
Ran 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. Medicine5
2021 A Decentralized Variance-Reduced Method for Stochastic Optimization Over Directed Graphs
abstract
In 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
ICASSP2
2021 A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization
abstract
This 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
ICML1
2021 EHR-Oriented Knowledge Graph System: Toward Efficient Utilization of Non-Used Information Buried in Routine Clinical Practice
abstract
Non-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 Informatics7
2020 A General Framework for Decentralized Optimization With First-Order Methods
abstract
Decentralized 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. IEEE1
2019 Distributed Nesterov Gradient Methods Over Arbitrary Graphs
abstract
In 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 WLANs
abstract
In 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