YoVDO

Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection

Offered By: ACM SIGPLAN via YouTube

Tags

Program Synthesis Courses Algorithms Courses Theoretical Computer Science Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking approach to Oracle-Guided Inductive Synthesis (OGIS) in this 16-minute conference talk from OOPSLA1 2023. Delve into the novel LearnSy question selector, designed to enhance OGIS performance through efficient and effective question selection. Discover how LearnSy overcomes limitations of existing selectors by estimating complex operator behaviors as simple random events, supported by theoretical precision results and an efficient calculation algorithm. Learn about LearnSy's competitive performance in interactive tasks and its ability to reduce time costs in non-interactive CEGIS solvers by up to 43.0%. Gain insights from researchers at Peking University as they present their innovative solution to the question selection problem in program synthesis.

Syllabus

[OOPSLA23] Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection


Taught by

ACM SIGPLAN

Related Courses

Information Theory
The Chinese University of Hong Kong via Coursera Intro to Computer Science
University of Virginia via Udacity Analytic Combinatorics, Part I
Princeton University via Coursera Algorithms, Part I
Princeton University via Coursera Divide and Conquer, Sorting and Searching, and Randomized Algorithms
Stanford University via Coursera