Towards neural-network-guided program synthesis and verification

DOI10.1007/S10703-024-00468-9MaRDI QIDQ6903891zbMATH OpenFDO

Authors Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno

Publication date 7 November 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10703-024-00468-9

zbMATH Keywords

neural networkprogram synthesisprogram verification

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial neural networks and deep learning (68T07)

Cites work

• Horn clause solvers for program verification
• ICE-based refinement type discovery for higher-order functional programs
• Learning safe neural network controllers with barrier certificates
• Neural network-guided synthesis of recursive list functions
• Overfitting in synthesis: theory and practice
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Safety verification of deep neural networks
• SMT-based model checking for recursive programs
• Toward neural-network-guided program synthesis and verification

This page was built for publication: Towards neural-network-guided program synthesis and verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6903891)