@misc{indiciae75ce8a908ed7,
  title = {LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations},
  author = {Ruidi He and Yu Zhang and Meng Zhang and Andreas Rausch},
  year = {2025},
  doi = {10.1109/asew67777.2025.00040},
  url = {https://arxiv.org/abs/2511.01423},
  note = {Source identifier: 2511.01423}
}