@misc{indiciae04c804ac95ce,
  title = {\$L\textasciicircum{}*LM\$: Learning Automata from Examples using Natural Language Oracles},
  author = {Marcell Vazquez-Chanlatte and Karim Elmaaroufi and Stefan J. Witwicki and Matei Zaharia and Sanjit A. Seshia},
  year = {2025},
  url = {https://arxiv.org/abs/2402.07051},
  note = {Source identifier: 2402.07051}
}