Ran Xin - RankMe

47 papers A* 1Misc 3Journal 36Unranked 7

Year	Rank	Type	Title / 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