@misc{indiciae2fba0461a8cd,
  title = {Number theory combination: natural density and SMT},
  author = {Guilherme V. Toledo and Yoni Zohar},
  year = {2025},
  url = {https://arxiv.org/abs/2505.16840},
  note = {Source identifier: 2505.16840}
}