Towards neural-network-guided program synthesis and verification. - Kobayashi, Naoki; Sekiyama, Taro; Sato, Issei; Unno, Hiroshi (Formal Methods in System Design, 2025)