Haolin Ye

Orcid: 0000-0002-7402-617X

According to our database1, Haolin Ye authored at least 10 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Extracting Interpretable Logic Rules from Graph Neural Networks.
CoRR, March, 2025

Learning Interpretable Logic Rules from Deep Vision Models.
CoRR, March, 2025

Learning Minimal Neural Specifications.
Proceedings of the International Conference on Neuro-symbolic Systems, 2025

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

SAT-DIFF: A Tree Diffing Framework Using SAT Solving.
CoRR, 2024

Learning Minimal NAP Specifications for Neural Network Verification.
CoRR, 2024

A Comparative Study between FPGA and DSP for the Efficient Implementation of FIR Filters.
Proceedings of the Twelfth International Symposium on Computing and Networking, CANDAR 2024, 2024

2023
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver.
Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

Scalar Invariant Networks with Zero Bias.
Proceedings of the NeurIPS Workshop on Symmetry and Geometry in Neural Representations, 2023

2022
Novice Type Error Diagnosis with Natural Language Models.
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022


  Loading...