@misc{indiciae2059d54b6310,
  title = {Bridging Scales: Asymptotic Analysis and AI-Assisted Formalization},
  author = {Xu Yang},
  year = {2026},
  url = {https://arxiv.org/abs/2606.10138},
  note = {Source identifier: 2606.10138}
}