Zhenyu Ming

15 papers A* 1B 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
M2F: Automated Formalization of Mathematical Literature at Scale.
CoRR
Zichen Wang, Wanli Ma, Zhenyu Ming, Gong Zhang, Kun Yuan, Zaiwen Wen
2025 B conf
Accelerated Dropout: A Bitmask Approach to Speed Up Model Training.
IJCNN
Jincheng Xie, Hao Shi, Sicheng Xu, Yan Zhang, Zhenyu Ming, Zhongyi Huang
2025 A* conf
BigMac: A Communication-Efficient Mixture-of-Experts Model Structure for Fast Training and Inference.
AAAI
Zewen Jin, Shengnan Wang, Jiaan Zhu, Hongrui Zhan, Youhui Bai, Lin Zhang, Zhenyu Ming, Cheng Li
2025 J jnl
BigMac: A Communication-Efficient Mixture-of-Experts Model Structure for Fast Training and Inference.
CoRR
Zewen Jin, Shengnan Wang, Jiaan Zhu, Hongrui Zhan, Youhui Bai, Lin Zhang, Zhenyu Ming, Cheng Li
2025 J jnl
Improving Monte Carlo Tree Search for Symbolic Regression.
CoRR
Zhengyao Huang, Daniel Zhengyu Huang, Tiannan Xiao, Dina Ma, Zhenyu Ming, Hao Shi, Yuanhui Wen
2024 J jnl
Low-rank quaternion tensor completion for color video inpainting via a novel factorization strategy.
Math. Comput.
Zhenzhi Qin, Zhenyu Ming, Defeng Sun, Liping Zhang
2024 J jnl
Network traffic recovery from link-load measurements using tensor triple decomposition strategy for third-order traffic tensors.
J. Comput. Appl. Math.
Zhenyu Ming, Zhenzhi Qin, Liping Zhang, Yanwei Xu, Liqun Qi
2023 J jnl
A parallel low rank matrix optimization method for recovering internet traffic network data via link flow measurement.
J. Comput. Appl. Math.
Ruoning Chen, Liping Zhang, Zhenyu Ming
2023 J jnl
Hankel tensor-based model and $$L_1$$-Tucker decomposition-based frequency recovery method for harmonic retrieval problem.
Comput. Appl. Math.
Zhenting Luan, Zhenyu Ming, Yuchi Wu, Wei Han, Xiang Chen, Bo Bai, Liping Zhang
2023 — conf
LBFF: Load-Balancing First Fit Algorithm for Tenant Placement Problem.
ICC
Yan Zhang, Zhenyu Ming, Xi Peng, Jianfeng Liu, Liping Zhang
2022 J jnl
An accurate and practical algorithm for internet traffic recovery problem.
Neurocomputing
Zhenyu Ming, Liping Zhang, Hao Wu, Yanwei Xu, Mayank Bakshi, Bo Bai, Gong Zhang
2022 J jnl
Estimating Clock Skew With One-Way Timestamps.
IEEE Commun. Lett.
Zhenyu Ming, Haoran Pang, Yanwei Xu, Liping Zhang, Wei Zhang
2022 J jnl
Flow-Level Packet Loss Detection via Sketch Decomposition and Matrix Optimization.
CoRR
Zhenyu Ming, Wei Zhang, Yanwei Xu
2022 J jnl
Singular value decomposition of third order quaternion tensors.
Appl. Math. Lett.
Zhenzhi Qin, Zhenyu Ming, Liping Zhang
2020 J jnl
Expected residual minimization method for monotone stochastic tensor complementarity problem.
Comput. Optim. Appl.
Zhenyu Ming, Liping Zhang, Liqun Qi