Kia Rahmani
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Arjun Radhakrishnaonce
- Ashish Tiwarionce
- Daniel Morrisonce
all 11 in the filters
who talks about the same things
- Işıl Dillig21 talks
- Suresh Jagannathan16 talks
- Benjamin Delaware18 talks
- Vu Le9 talks
- Armando Solar-Lezama18 talks
- Sumit Gulwani14 talks
| title | conference | date |
|---|---|---|
| Programming-by-Demonstration for Long-Horizon Robot Tasks | POPL 2024 | 2024-01-14 |
PROLEX synthesizes robot control programs by turning demonstrations into regex-like sketches, completing holes with an LLM-guided search, and pruning… | ||
| Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthes | OOPSLA 2021 | 2021-10-17 |
NLX combines GPT-3 candidates with a component-based synthesizer to turn ambiguous English plus examples into precise code. It targets regexes and CSS… | ||
| nothing matches | ||