Haolin Ye

According to our database, Haolin Ye authored at least 13 papers between 2022 and 2026.

Collaborative distances:

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

2026

Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints.

Chuqin Geng, Li Zhang, Mark Zhang, Haolin Ye, Ziyu Zhao, Xujie Si

CoRR, February, 2026

Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning.

Chuqin Geng, Li Zhang, Haolin Ye, Ziyu Zhao, Yuhe Jiang, Tara Saba, Xinyu Wang, Xujie Si

CoRR, February, 2026

2025

Extracting Interpretable Logic Rules from Graph Neural Networks.

Chuqin Geng, Zhaoyue Wang, Ziyu Zhao, Haolin Ye, Xujie Si

CoRR, March, 2025

Learning Interpretable Logic Rules from Deep Vision Models.

Chuqin Geng, Yuhe Jiang, Ziyu Zhao, Haolin Ye, Zhaoyue Wang, Xujie Si

CoRR, March, 2025

Learning Minimal Neural Specifications.

Chuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

2024

HetHub: A Heterogeneous distributed hybrid training system for large-scale models.

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

CoRR, 2024

SAT-DIFF: A Tree Diffing Framework Using SAT Solving.

Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si

CoRR, 2024

Learning Minimal NAP Specifications for Neural Network Verification.

Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si

CoRR, 2024

A Comparative Study between FPGA and DSP for the Efficient Implementation of FIR Filters.

Haolin Ye, Celimuge Wu, Tsutomu Yoshinaga

Proceedings of the Twelfth International Symposium on Computing and Networking, CANDAR 2024, 2024

2023

An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver.

Haolin Ye

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

Scalar Invariant Networks with Zero Bias.

Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si

Proceedings of the NeurIPS Workshop on Symmetry and Geometry in Neural Representations, 2023

2022

Novice Type Error Diagnosis with Natural Language Models - Artifacts.

Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si

Dataset, August, 2022

Novice Type Error Diagnosis with Natural Language Models.

Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022