@misc{indiciaed7d45e046972,
  title = {Learning Formal Specifications from Membership and Preference Queries},
  author = {Ameesh Shah and Marcell Vazquez-Chanlatte and Sebastian Junges and Sanjit A. Seshia},
  year = {2025},
  url = {https://arxiv.org/abs/2307.10434},
  note = {Source identifier: 2307.10434}
}