paper-with-me

Papers

Guided Sketch-Based Program Induction by Search Gradients

2024-02-10 · Ahmad Ayaz Amin

Many tasks can be easily solved using machine learning techniques. However, some tasks cannot readily be solved using statistical models, requiring a symbolic approach instead. Program induction is one of the ways that such tasks can be solved by means of capturing an interpretable and generalizable algorithm through training. However, contemporary approaches to program induction are not sophisticated enough to readily be applied to various types of tasks as they tend to be formulated as a single, all-encompassing model, usually parameterized by neural networks. In an attempt to make program induction a viable solution for many scenarios, we propose a framework for learning parameterized programs via search gradients using evolution strategies. This formulation departs from traditional program induction as it allows for the programmer to impart task-specific code to the program 'sketch', while also enjoying the benefits of accelerated learning through end-to-end gradient-based optimization.

📄 PDF Abstract BibTeX arXiv:2402.06990

Code (0)

등록된 구현이 없습니다.

Tasks

Program induction

Similar Papers 제목 키워드 기반

Program Transfer for Answering Complex Questions over Knowledge Bases

2021-11-16 · ACL ARR November 2021 11 · Anonymous

Program induction for answering complex questions over knowledge bases (KBs) aims to decompose a question into a multi-step program, whose execution against the KB produces the final answer. Learning to induce programs …

Program induction

Program Transfer for Answering Complex Questions over Knowledge Bases

2021-10-12 · ACL 2022 5 · Shulin Cao, Jiaxin Shi, Zijun Yao, Xin Lv 외

Program induction for answering complex questions over knowledge bases (KBs) aims to decompose a question into a multi-step program, whose execution against the KB produces the final answer. Learning to induce programs r…

Program inductionSemantic Parsing

Library Learning for Neurally-Guided Bayesian Program Induction

2018-12-01 · Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama 외

Successful approaches to program induction require a hand-engineered domain-specific language (DSL), constraining the space of allowed programs and imparting prior knowledge of the domain. We contribute a program inducti…

Program inductionregressionSymbolic Regression

Learning Libraries of Subroutines for Neurally–Guided Bayesian Program Induction

2018-12-01 · NeurIPS 2018 12 · Kevin Ellis, Lucas Morales, Mathias Sablé-Meyer, Armando Solar-Lezama 외

Successful approaches to program induction require a hand-engineered domain-specific language (DSL), constraining the space of allowed programs and imparting prior knowledge of the domain. We contribute a program …

Program inductionregressionSymbolic Regression

SketchGraphs: A Large-Scale Dataset for Modeling Relational Geometry in Computer-Aided Design

2020-07-16 · Ari Seff, Yaniv Ovadia, Wenda Zhou, Ryan P. Adams

Parametric computer-aided design (CAD) is the dominant paradigm in mechanical engineering for physical design. Distinguished by relational geometry, parametric CAD models begin as two-dimensional sketches consisting of g…

Program Synthesis