Search Results for author: Karim Elmaaroufi

Found 3 papers, 0 papers with code

Generating Probabilistic Scenario Programs from Natural Language

no code implementations3 May 2024 Karim Elmaaroufi, Devan Shankar, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia

Reports normally contain uncertainty about the exact details of the incidents which we represent through a Probabilistic Programming Language (PPL), Scenic.

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

no code implementations10 Feb 2024 Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia

Due to the expressivity of natural language, we observe a significant improvement in the data efficiency of learning DFAs from expert demonstrations.

Cannot find the paper you are looking for? You can Submit a new open access paper.