Haolin Ye

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Language Modelling

Pseudo Feedback

Boolean Optimization

Heterogeneous Distributed

Top Venues

SPLASH Companion

Publications

Si Xu, Zixiao Huang, Yan Zeng, Shengen Yan, Xuefei Ning, Haolin Ye, Sipei Gu, Chunsheng Shui, Zhezheng Lin, Hao Zhang, Sheng Wang, Guohao Dai, Yu Wang
HetHub: A Heterogeneous distributed hybrid training system for large-scale models. CoRR (2024)
Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si
SAT-DIFF: A Tree Diffing Framework Using SAT Solving. CoRR (2024)
Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si
Learning Minimal NAP Specifications for Neural Network Verification. CoRR (2024)
Haolin Ye
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. SPLASH Companion (2023)
Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
Scalar Invariant Networks with Zero Bias. CoRR (2022)
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
Novice Type Error Diagnosis with Natural Language Models. CoRR (2022)
Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
Novice Type Error Diagnosis with Natural Language Models. APLAS (2022)