Neural network-guided synthesis of recursive list functions

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

Authors: Naoki Kobayashi, Minchao Wu 

Publication date: 13 December 2023

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

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07)

Cites Work

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

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)