3 papers
cs.LG2025
: Learning Automata from Examples using Natural Language Oracles
Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki +2
Expert demonstrations have proven an easy way to indirectly specify complex tasks. Recent algorithms even support extracting unambiguous formal specifications, e.g. deterministic f…
cs.PL2024
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
Federico Mora, Justin Wong, Haley Lepe +6
Recent advances in large language models (LLMs) for code applications have demonstrated remarkable zero-shot fluency and instruction following on challenging code related tasks ran…
cs.SE2024
ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
Karim Elmaaroufi, Devan Shanker, Ana Cismaru +4
For cyber-physical systems (CPS), including robotics and autonomous vehicles, mass deployment has been hindered by fatal errors that occur when operating in rare events. To replica…