Ruoxi Zhang

According to our database, Ruoxi Zhang authored at least 10 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Pretraining Large Language Models with NVFP4.

Felix Abecassis, Anjulie Agrusa, Dong Ahn, Jonah Alben, Stefania Alborghetti, Michael Andersch, Sivakumar Arayandi, Alexis Bjorlin, Aaron Blakeman, Evan Briones, Ian Buck, Bryan Catanzaro, Jinhang Choi, Mike Chrzanowski, Eric Chung, Victor Cui, Steve Dai, Bita Darvish Rouhani, Carlo del Mundo, Deena Donia, Sukru Burc Eryilmaz, Henry Estela, Abhinav Goel, Oleg Goncharov, Yugi Guvvala, Robert Hesse, Russell Hewett, Herbert Hum, Ujval J. Kapasi, Brucek Khailany, Mikail Khona, Nick Knight, Alex Kondratenko, Ronny Krashinsky, Ben Lanir, Simon Layton, Michael Lightstone, Daniel Lo, Paulius Micikevicius, Asit K. Mishra, Tim Moon, Deepak Narayanan, Chao Ni, Abhijit Paithankar, Satish Pasumarthi, Ankit Patel, Mostofa Patwary, Ashwin Poojary, Gargi Prasad, Sweta Priyadarshi, Yigong Qin, Xiaowei Ren, Oleg Rybakov, Charbel Sakr, Sanjeev Satheesh, Stas Sergienko, Pavel Shamis, Kirthi Shankar, Nishant Sharma, Mohammad Shoeybi, Michael Y. Siu, Misha Smelyanskiy, Darko Stosic, Dusan Stosic, Bor-Yiing Su, Frank Sun, Nima Tajbakhsh, Shelby Thomas, Przemek Tredak, Evgeny Tsykunov, Gandhi Vaithilingam, Aditya Vavre, Rangharajan Venkatesan, Roger Waleffe, Qiyu Wan, Hexin Wang, Mengdi Wang, Lizzie Wei, Hao Wu, Evan Wu, Keith Wyss, Ning Xu, Jinze Xue, Charlene Yang, Yujia Zhai, Ruoxi Zhang, Jingyang Zhu, Zhongbo Zhu

CoRR, September, 2025

Synthesis of Parametric Locally Symmetric Protocols from Abstract Temporal Specifications.

Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2025

Navigating Security and Privacy Threats in Homeless Service Provision.

Yuxi Wu, Ruoxi Zhang, Shiyue Liu, Mufei He, Aidan Hong, Jeremy J. Northup, Calla Kainaroi, Fei Fang, Hong Shen

Proceedings of the 34th USENIX Security Symposium, 2025

2024

Municipal and Urban Renewal Development Index System: A Data-Driven Digital Analysis Framework.

Xi Wang, Xuecao Li, Tinghai Wu, Shenjing He, Yuxin Zhang, Xianyao Ling, Bin Chen, Lanchun Bian, Xiaodong Shi, Ruoxi Zhang, Jie Wang, Li Zheng, Jun Li, Peng Gong

Remote. Sens., February, 2024

Sentiment time series clustering of Danmu videos based on BERT fine-tuning and SBD-K-shape.

Ruoxi Zhang, Chenhan Ren

Electron. Libr., 2024

2023

Study of Mental Model in Human-Computer Interaction Based on EEG Signal Data.

Jiaping Chen, Ruoxi Zhang, Yaming Liu, Xuan Zhou, Zhijing Wu, Hanzhen Ouyang, Weihui Dai

Proceedings of the Computer Supported Cooperative Work and Social Computing, 2023

2022

Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications.

Ruoxi Zhang, Richard J. Trefler, Kedar S. Namjoshi

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

2020

Comprehensive Analysis of Differently Expressed and Methylated Genes in Preeclampsia.

Wenyi Xu, Ping Ru, Zhuorong Gu, Ruoxi Zhang, Xixia Pang, Yi Huang, Zhou Liu, Ming Liu

Comput. Math. Methods Medicine, 2020

2019

Robust Kalman filtering with long short-term memory for image-based visual servo control.

Zhiyu Zhou, Ruoxi Zhang, Zefei Zhu

Multim. Tools Appl., 2019

2018

A Network Tomography Approach for Traffic Monitoring in Smart Cities.

Ruoxi Zhang, Sara Newman, Marco Ortolani, Simone Silvestri

IEEE Trans. Intell. Transp. Syst., 2018