Neural network-guided synthesis of recursive list functions

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

Naoki Kobayashi, Minchao Wu

Publication date: 13 December 2023

Mathematics Subject Classification ID

Artificial neural networks and deep learning (68T07)

Cites Work

• SMT-based model checking for recursive programs
• 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
• Horn Clause Solvers for Program Verification
• Discovering faster matrix multiplication algorithms with reinforcement learning
• Automating string processing in spreadsheets using input-output examples
• ICE-based refinement type discovery for higher-order functional programs

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