Improved deep learning-based macromolecules structure classification from electron cryo-tomograms. - Chengqian Che; Ruogu Lin; Xiangrui Zeng; Karim Elmaaroufi; John M. Galeotti; Min Xu 009 (Mach. Vis. Appl., 2018)

Verifiably safe SCUBA diving using commodity sensors: work-in-progress. - Viren Bajaj; Karim Elmaaroufi; Nathan Fulton; André Platzer (EMSOFT Companion, 2019)

Tensor Trust: Interpretable Prompt Injection Attacks from an Online Game. - Sam Toyer; Olivia Watkins; Ethan Adrian Mendes; Justin Svegliato; Luke Bailey; Tiffany Wang; Isaac Ong; Karim Elmaaroufi; Pieter Abbeel; Trevor Darrell; Alan Ritter; Stuart Russell 001 (ICLR, 2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit A. Seshia (NeurIPS, 2024)

L*LM: Learning Automata from Examples using Natural Language Oracles. - Marcell Vazquez-Chanlatte; Karim Elmaaroufi; Stefan J. Witwicki; Sanjit A. Seshia (CoRR, 2024)

Generating Probabilistic Scenario Programs from Natural Language. - Karim Elmaaroufi; Devan Shanker; Ana Cismaru; Marcell Vazquez-Chanlatte; Alberto L. Sangiovanni-Vincentelli; Matei Zaharia; Sanjit A. Seshia (CoRR, 2024)

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2024)

L*LM: Learning Automata from Demonstrations, Examples, and Natural Language. - Marcell Vazquez-Chanlatte; Karim Elmaaroufi; Stefan J. Witwicki; Matei Zaharia; Sanjit A. Seshia (NeuS, 2025)