TY  - RPRT
TI  - LLM2SMT: Building an SMT Solver with Zero Human-Written Code
AU  - Mikoláš Janota
AU  - Mirek Olšák
PY  - 2026
UR  - https://arxiv.org/abs/2603.06931
ID  - 2603.06931
ER  -