~/talk

Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthes

Talkat OOPSLA 2021 · 2021-10-17..10-22· [ai-assisted-development]
links:none on file
links:none on file
links:none on file
name:Vu Le
links:none on file
links:none on file
links:none on file
links:none on file
links:none on file
slides:none on file

NLX combines GPT-3 candidates with a component-based synthesizer to turn ambiguous English plus examples into precise code. It targets regexes and CSS selectors, extracts frequent nonredundant seed components, uses beam search biased by PTM operator frequencies and semantic condensation to keep semantic diversity, and ranks consistent programs by Euclidean operator vectors and Levenshtein distance. GPT-3 alone hits ~15% on benchmarks vs a ~60% specialist; NLX improves over all baselines by at least 20% on 150 tasks.

AI-written summary · about

  1. 0:00Intro
  2. 0:13PRE-TRAINED NATURAL LANGUAGE MODELS (PTM)
  3. 2:39FIRST HAND EXPERIMENTS WITH (NL→CODE)
  4. 4:45NOT THE END OF THE STORY!
  5. 5:33NLX PROGRAM SYNTHESIS FRAMEWORK
  6. 6:48COMPONENT-BASED SYNTHESIS (CBS)
  7. 7:57CHALLENGES WITH SEARCH
  8. 8:41SEED COMPONENTS
  9. 10:44ITERATIVE EXPANSION
  10. 12:39FINAL RANKING
  11. 13:45EXPERIMENTAL EVALUATION
  12. 14:47RECAP
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.