Improved Tree Search for Automatic Program Synthesis
–arXiv.org Artificial Intelligence
However, as reported by previous work (Zohar & Wolf, 2018; Chen et al., 2019), employing a reinforcement learning In the task of automatic program synthesis, one approach, as opposed to training using a maximum likelihood obtains pairs of matching inputs and outputs and loss to generate the single program that is available generates a computer program, in a particular as the ground truth, either hurts performance or leads to a domain-specific language (DSL), which given small increase in performance. This is despite training the each sample input returns the matching output. A MLE approach in a teacher-forcing way, in which, during key element is being able to perform an efficient training and unlike during test time, the partial programs search in the space of valid programs. Here, we considered are the prefix of the ground truth programs.
arXiv.org Artificial Intelligence
Mar-13-2023
- Country:
- Oceania > Australia
- New South Wales > Sydney (0.04)
- North America
- United States
- District of Columbia > Washington (0.04)
- Texas > Travis County
- Austin (0.04)
- Michigan > Washtenaw County
- Ann Arbor (0.04)
- New Jersey > Middlesex County
- New Brunswick (0.04)
- Tennessee > Davidson County
- Nashville (0.04)
- Illinois > Cook County
- Evanston (0.04)
- Wisconsin > Dane County
- Madison (0.04)
- Massachusetts > Hampshire County
- Amherst (0.04)
- California
- Santa Clara County > Stanford (0.04)
- Los Angeles County > Long Beach (0.04)
- Pennsylvania > Allegheny County
- Pittsburgh (0.04)
- Canada > Alberta
- United States
- Europe
- United Kingdom > Scotland
- City of Aberdeen > Aberdeen (0.04)
- Slovenia > Upper Carniola
- Municipality of Bled > Bled (0.04)
- Italy > Apulia
- Bari (0.04)
- Germany > North Rhine-Westphalia
- Cologne Region > Bonn (0.04)
- Finland > Uusimaa
- Helsinki (0.04)
- United Kingdom > Scotland
- Asia > Middle East
- Israel > Tel Aviv District > Tel Aviv (0.04)
- Oceania > Australia
- Genre:
- Research Report (0.50)
- Industry:
- Leisure & Entertainment (0.47)
- Technology: