@misc{indiciaec195325942a9,
  title = {Vibe-Coded and Tuned: A State-of-the-Art SMT Solver for QF-LRA},
  author = {Mikoláš Janota and Jan Jakubův},
  year = {2026},
  url = {https://arxiv.org/abs/2609.16706},
  note = {Source identifier: 2609.16706}
}