Ran Xin

47 papers A* 1Misc 3Journal 36Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving.
ACL (1)
Ran Xin, Chenguang Xi, Jie Yang, Feng Chen, Hang Wu, Xia Xiao, Yifan Sun, Shen Zheng, Ming Ding
2025 J jnl
BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving.
CoRR
Ran Xin, Chenguang Xi, Jie Yang, Feng Chen, Hang Wu, Xia Xiao, Yifan Sun, Shen Zheng, Kai Shen
2025 J jnl
Cell-Sequence-Based Covert Signal for Tor De-Anonymization Attacks.
Future Internet
Ran Xin, Yapeng Wang, Xiaohong Huang, Xu Yang, Sio Kei Im
2025 — conf
Closed-Loop Control of Robotic Cutting through Tactile Force Estimation.
RoboSoft
Ran Xin, Arsen Abdulali, Fumiya Iida
2025 J jnl
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers.
CoRR
Ran Xin, Zeyu Zheng, Yanchen Nie, Kun Yuan, Xia Xiao
2025 J jnl
Understanding the Influence of Digraphs on Decentralized Optimization: Effective Metrics, Lower Bound, and Optimal Algorithm.
SIAM J. Optim.
Liyuan Liang, Xinmeng Huang, Ran Xin, Kun Yuan
2024 J jnl
A few-shot disease diagnosis decision making model based on meta-learning for general practice.
Artif. Intell. Medicine
Qianghua Liu, Yu Tian, Tianshu Zhou, Kewei Lyu, Ran Xin, Yong Shang, Ying Liu, Jingjing Ren, Jingsong Li
2023 — conf
A Personal Healthcare Knowledge Graph Framework for Diagnosis of Pelvic Masses Diseases.
MedInfo
Ran Xin, Jia Chen, Feifei Bao, Yong Shang, Xu Han, Jingsong Li
2023 Misc conf
Variance Reduced Stochastic Optimization Over Directed Graphs with Row and Column Stochastic Weights.
ACSSC
Muhammad I. Qureshi, Ran Xin, Soummya Kar, Usman A. Khan
2022 J jnl
A Fast Randomized Incremental Gradient Method for Decentralized Nonconvex Optimization.
IEEE Trans. Autom. Control.
Ran Xin, Usman A. Khan, Soummya Kar
2022 J jnl
Fast Decentralized Nonconvex Finite-Sum Optimization with Recursive Variance Reduction.
SIAM J. Optim.
Ran Xin, Usman A. Khan, Soummya Kar
2022 J jnl
Push-SAGA: A Decentralized Stochastic Algorithm With Variance Reduction Over Directed Graphs.
IEEE Control. Syst. Lett.
Muhammad I. Qureshi, Ran Xin, Soummya Kar, Usman A. Khan
2022 J jnl
Variance reduced stochastic optimization over directed graphs with row and column stochastic weights.
CoRR
Muhammad I. Qureshi, Ran Xin, Soummya Kar, Usman A. Khan
2021 Misc conf
A Decentralized Variance-Reduced Method for Stochastic Optimization Over Directed Graphs.
ICASSP
Muhammad I. Qureshi, Ran Xin, Soummya Kar, Usman A. Khan
2021 A* conf
A Hybrid Variance-Reduced Method for Decentralized Stochastic Non-Convex Optimization.
ICML
Ran Xin, Usman A. Khan, Soummya Kar
2021 J jnl
A hybrid variance-reduced method for decentralized stochastic non-convex optimization.
CoRR
Ran Xin, Usman A. Khan, Soummya Kar
2021 J jnl
An Improved Convergence Analysis for Decentralized Online Stochastic Non-Convex Optimization.
IEEE Trans. Signal Process.
Ran Xin, Usman A. Khan, Soummya Kar
2021 J jnl
EHR-Oriented Knowledge Graph System: Toward Efficient Utilization of Non-Used Information Buried in Routine Clinical Practice.
IEEE J. Biomed. Health Informatics
Yong Shang, Yu Tian, Min Zhou, Tianshu Zhou, Kewei Lyu, Zhixiao Wang, Ran Xin, Tingbo Liang, Shiqiang Zhu, Jingsong Li
2021 J jnl
S-ADDOPT: Decentralized Stochastic First-Order Optimization Over Directed Graphs.
IEEE Control. Syst. Lett.
Muhammad I. Qureshi, Ran Xin, Soummya Kar, Usman A. Khan
2020 J jnl
A General Framework for Decentralized Optimization With First-Order Methods.
Proc. IEEE
Ran Xin, Shi Pu, Angelia Nedic, Usman A. Khan
2020 J jnl
A fast randomized incremental gradient method for decentralized non-convex optimization.
CoRR
Ran Xin, Usman A. Khan, Soummya Kar
2020 J jnl
A general framework for decentralized optimization with first-order methods.
CoRR
Ran Xin, Shi Pu, Angelia Nedic, Usman A. Khan
2020 J jnl
A near-optimal stochastic gradient method for decentralized non-convex finite-sum optimization.
CoRR
Ran Xin, Usman A. Khan, Soummya Kar
2020 J jnl
An improved convergence analysis for decentralized online stochastic non-convex optimization.
CoRR
Ran Xin, Usman A. Khan, Soummya Kar
2020 J jnl
Decentralized Optimization Over Time-Varying Directed Graphs With Row and Column-Stochastic Matrices.
IEEE Trans. Autom. Control.
Fakhteh Saadatniaki, Ran Xin, Usman A. Khan
2020 J jnl
Decentralized Stochastic Optimization and Machine Learning: A Unified Variance-Reduction Framework for Robust Performance and Fast Convergence.
IEEE Signal Process. Mag.
Ran Xin, Soummya Kar, Usman A. Khan
2020 J jnl
Distributed Heavy-Ball: A Generalization and Acceleration of First-Order Methods With Gradient Tracking.
IEEE Trans. Autom. Control.
Ran Xin, Usman A. Khan
2020 — conf
GT-SAGA: A fast incremental gradient method for decentralized finite-sum minimization.
CDC
Ran Xin, Boyue Li, Soummya Kar, Usman A. Khan
2020 J jnl
Gradient tracking and variance reduction for decentralized optimization and machine learning.
CoRR
Ran Xin, Soummya Kar, Usman A. Khan
2020 J jnl
Push-SAGA: A decentralized stochastic algorithm with variance reduction over directed graphs.
CoRR
Muhammad I. Qureshi, Ran Xin, Soummya Kar, Usman A. Khan
2020 J jnl
S-ADDOPT: Decentralized stochastic first-order optimization over directed graphs.
CoRR
Muhammad I. Qureshi, Ran Xin, Soummya Kar, Usman A. Khan
2020 J jnl
Variance-Reduced Decentralized Stochastic Optimization With Accelerated Convergence.
IEEE Trans. Signal Process.
Ran Xin, Usman A. Khan, Soummya Kar
2019 J jnl
Decentralized Stochastic First-Order Methods for Large-scale Machine Learning.
CoRR
Ran Xin, Soummya Kar, Usman A. Khan
2019 J jnl
Distributed Nesterov Gradient Methods Over Arbitrary Graphs.
IEEE Signal Process. Lett.
Ran Xin, Dusan Jakovetic, Usman A. Khan
2019 J jnl
Distributed Nesterov gradient methods over arbitrary graphs.
CoRR
Ran Xin, Dusan Jakovetic, Usman A. Khan
2019 — conf
Distributed Training with Mobile Agents: Optimization Over Dynamic Directed Graphs.
DSW
Fakhteh Saadatniaki, Ran Xin, Usman A. Khan
2019 Misc conf
Distributed empirical risk minimization over directed graphs.
ACSSC
Ran Xin, Anit Kumar Sahu, Soummya Kar, Usman A. Khan
2019 — conf
Distributed stochastic optimization with gradient tracking over strongly-connected networks.
CDC
Ran Xin, Anit Kumar Sahu, Usman A. Khan, Soummya Kar
2019 J jnl
Distributed stochastic optimization with gradient tracking over strongly-connected networks.
CoRR
Ran Xin, Anit Kumar Sahu, Usman A. Khan, Soummya Kar
2019 J jnl
FROST - Fast row-stochastic optimization with uncoordinated step-sizes.
EURASIP J. Adv. Signal Process.
Ran Xin, Chenguang Xi, Usman A. Khan
2019 J jnl
Variance-Reduced Decentralized Stochastic Optimization with Accelerated Convergence.
CoRR
Ran Xin, Usman A. Khan, Soummya Kar
2019 J jnl
Variance-Reduced Decentralized Stochastic Optimization with Gradient Tracking - Part II: GT-SVRG.
CoRR
Ran Xin, Usman A. Khan, Soummya Kar
2018 J jnl
A Linear Algorithm for Optimization Over Directed Graphs With Geometric Convergence.
IEEE Control. Syst. Lett.
Ran Xin, Usman A. Khan
2018 J jnl
ADD-OPT: Accelerated Distributed Directed Optimization.
IEEE Trans. Autom. Control.
Chenguang Xi, Ran Xin, Usman A. Khan
2018 J jnl
Linear Convergence in Optimization Over Directed Graphs With Row-Stochastic Matrices.
IEEE Trans. Autom. Control.
Chenguang Xi, Van Sy Mai, Ran Xin, Eyad H. Abed, Usman A. Khan
2018 — conf
Subgradient Projection Over Directed Graphs Using Surplus Consensus.
DSW
Ran Xin, Chenguang Xi, Usman A. Khan
2014 J jnl
AP Association for Proportional Fairness in Multirate WLANs.
IEEE/ACM Trans. Netw.
Wei Li, Shengling Wang, Yong Cui, Xiuzhen Cheng, Ran Xin, Mznah Al-Rodhaan, Abdullah Al-Dhelaan