51 citations · 59 across the 5 of their papers we have counts for
5 papers
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…
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…
: 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…
Tensor Trust: Interpretable Prompt Injection Attacks from an Online Game
Sam Toyer, Olivia Watkins, Ethan Adrian Mendes +9
While Large Language Models (LLMs) are increasingly being used in real-world applications, they remain vulnerable to prompt injection attacks: malicious third party prompts that su…
Improved deep learning based macromolecules structure classification from electron cryo tomograms
Chengqian Che, Ruogu Lin, Xiangrui Zeng +3
Cellular processes are governed by macromolecular complexes inside the cell. Study of the native structures of macromolecular complexes has been extremely difficult due to lack of…