TY  - RPRT
TI  - $L^*LM$: Learning Automata from Examples using Natural Language Oracles
AU  - Marcell Vazquez-Chanlatte
AU  - Karim Elmaaroufi
AU  - Stefan J. Witwicki
AU  - Matei Zaharia
AU  - Sanjit A. Seshia
PY  - 2025
UR  - https://arxiv.org/abs/2402.07051
ID  - 2402.07051
ER  -