Manuscript submitted to ACM TODAES(Special Issue on MLCAD) and will be updated after review. The relevant codes are available at https://github.com/Chenghao-Yang/awesome-ml4ls