@misc{indiciae3ed6862aa9ca,
  title = {Quantifier Instantiations: To Mimic or To Revolt?},
  author = {Jan Jakubův and Mikoláš Janota},
  year = {2025},
  url = {https://arxiv.org/abs/2508.13811},
  note = {Source identifier: 2508.13811}
}