TY  - RPRT
TI  - Vibe-Coded and Tuned: A State-of-the-Art SMT Solver for QF-LRA
AU  - Mikoláš Janota
AU  - Jan Jakubův
PY  - 2026
UR  - https://arxiv.org/abs/2609.16706
ID  - 2609.16706
ER  -