@misc{indiciae7ddb89e639c2,
  title = {Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators},
  author = {Maolin Sun and Yibiao Yang and Yuming Zhou},
  year = {2026},
  url = {https://arxiv.org/abs/2508.20340},
  note = {Source identifier: 2508.20340}
}