@article{learningquantitativeautomatamodulo,
  title = {Learning Quantitative Automata Modulo Theories},
  author = {Eric Hsiung and Swarat Chaudhuri and Joydeep Biswas},
  year = {2024},
  eprint = {2411.10601},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2411.10601v1},
}