Haolin Ye - RankMe

14 papers B 1Journal 9Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Beyond Message Passing: A Symbolic Alternative for Expressive and Interpretable Graph Learning. CoRR Chuqin Geng, Li Zhang, Haolin Ye, Ziyu Zhao, Yuhe Jiang, Tara Saba, Xinyu Wang, Xujie Si
2026	J	`jnl`	Neural Proposals, Symbolic Guarantees: Neuro-Symbolic Graph Generation with Hard Constraints. CoRR Chuqin Geng, Li Zhang, Mark Zhang, Haolin Ye, Ziyu Zhao, Xujie Si
2025	J	`jnl`	Extracting Interpretable Logic Rules from Graph Neural Networks. CoRR Chuqin Geng, Zhaoyue Wang, Ziyu Zhao, Haolin Ye, Xujie Si
2025	J	`jnl`	Learning Interpretable Logic Rules from Deep Vision Models. CoRR Chuqin Geng, Yuhe Jiang, Ziyu Zhao, Haolin Ye, Zhaoyue Wang, Xujie Si
2025	—	`conf`	Learning Minimal Neural Specifications. NeuS Chuqin Geng, Zhaoyue Wang, Haolin Ye, Xujie Si
2024	—	`conf`	A Comparative Study between FPGA and DSP for the Efficient Implementation of FIR Filters. CANDARW Haolin Ye, Celimuge Wu, Tsutomu Yoshinaga
2024	J	`jnl`	HetHub: A Heterogeneous distributed hybrid training system for large-scale models. CoRR 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
2024	J	`jnl`	Learning Minimal NAP Specifications for Neural Network Verification. CoRR Chuqin Geng, Zhaoyue Wang, Haolin Ye, Saifei Liao, Xujie Si
2024	J	`jnl`	SAT-DIFF: A Tree Diffing Framework Using SAT Solving. CoRR Chuqin Geng, Haolin Ye, Yihan Zhang, Brigitte Pientka, Xujie Si
2023	—	`conf`	An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. SPLASH Companion Haolin Ye
2023	—	`conf`	Scalar Invariant Networks with Zero Bias. NeurReps Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si
2022	B	`conf`	Novice Type Error Diagnosis with Natural Language Models. APLAS Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
2022	J	`jnl`	Novice Type Error Diagnosis with Natural Language Models. CoRR Chuqin Geng, Haolin Ye, Yixuan Li, Tianyu Han, Brigitte Pientka, Xujie Si
2022	J	`jnl`	Scalar Invariant Networks with Zero Bias. CoRR Chuqin Geng, Xiaojie Xu, Haolin Ye, Xujie Si