Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection

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.

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