2025
Verifying Semantic Equivalence of Large Models with Equality Saturation.
[DOI]
Kahfi S. Zulkifli
,
Wenbo Qian
,
Shaowei Zhu
,
Yuan Zhou
,
Zhen Zhang
,
Chang Lou
Proceedings of the 5th Workshop on Machine Learning and Systems, 2025

2021
Dynamic Properties Analysis of a New Kind of Inter-Connected Hydro-Pneumatic Strut.
[DOI]
Ruihong Li
,
Fan Yang
,
Dezhao Lin
,
Chenghong Li
,
Hongwei Chen
,
Wenbo Qian
,
Sheng Jia
,
Feng Zhao
IEEE Access, 2021