NADA: Neural Acceptance-Driven Approximate Specification Mining. - Weilin Luo; Tingchen Han; Junming Qiu; Hai Wan; Jianfeng Du; Bo Peng 041; Guohui Xiao 001; Yanan Liu (Proc. ACM Softw. Eng., 2025)