@misc{indiciaecd254885144a,
  title = {Ranking Function Generation with LLMs for Termination},
  author = {Rongkang Li and Jiaxin Hu and Taolue Chen and Yong Li and Fu Song and Zhilin Wu},
  year = {2026},
  url = {https://arxiv.org/abs/2610.35523},
  note = {Source identifier: 2610.35523}
}