Karim Elmaaroufi

According to our database, Karim Elmaaroufi authored at least 8 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

L*LM: Learning Automata from Demonstrations, Examples, and Natural Language.

Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Matei Zaharia, Sanjit A. Seshia

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

2024

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages.

Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, 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

L^*LM: Learning Automata from Examples using Natural Language Oracles.

Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia

CoRR, 2024

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages.

Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

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

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2019

Verifiably safe SCUBA diving using commodity sensors: work-in-progress.

Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, André Platzer

Proceedings of the International Conference on Embedded Software Companion, 2019

2018

Improved deep learning-based macromolecules structure classification from electron cryo-tomograms.

Chengqian Che, Ruogu Lin, Xiangrui Zeng, Karim Elmaaroufi, John M. Galeotti, Min Xu

Mach. Vis. Appl., 2018