Neural network-guided synthesis of recursive list functions

DOI10.1007/978-3-031-30823-9_12MaRDI QIDQ6535355FDO

Authors Naoki Kobayashi, Minchao Wu

Publication date 13 December 2023

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07)

Recommendations

• Toward neural-network-guided program synthesis and verification
• Inductive synthesis of functional programs: an explanation based generalization approach
• Scaling enumerative program synthesis via divide and conquer
• Syntax-guided synthesis with quantitative syntactic objectives
• Learning abstractions for program synthesis

Cites work

• Automating string processing in spreadsheets using input-output examples
• Discovering faster matrix multiplication algorithms with reinforcement learning
• Horn clause solvers for program verification
• ICE-based refinement type discovery for higher-order functional programs
• SMT-based model checking for recursive programs
• Symbolic automatic relations and their applications to SMT and CHC solving
• Synthesizing context-free grammars from recurrent neural networks
• Toward neural-network-guided program synthesis and verification

This page was built for publication: Neural network-guided synthesis of recursive list functions

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