Program synthesis using deduction-guided reinforcement learning

DOI10.1007/978-3-030-53291-8_30zbMath1478.68054OpenAlexW3043557120MaRDI QIDQ2226760

Yanju Chen, Chenglong Wang, Isil Dillig, Yu Feng, Osbert Bastani

Publication date: 9 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53291-8_30

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) ⋮ Iterative genetic improvement: scaling stochastic program synthesis ⋮ Defining behaviorizeable relations to enable inference in semi-automatic program synthesis

This page was built for publication: Program synthesis using deduction-guided reinforcement learning