@misc{indiciae8e5c8f1a52aa,
  title = {LLM2SMT: Building an SMT Solver with Zero Human-Written Code},
  author = {Mikoláš Janota and Mirek Olšák},
  year = {2026},
  url = {https://arxiv.org/abs/2603.06931},
  note = {Source identifier: 2603.06931}
}