TY  - RPRT
TI  - LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
AU  - Ruidi He
AU  - Yu Zhang
AU  - Meng Zhang
AU  - Andreas Rausch
PY  - 2025
DO  - 10.1109/asew67777.2025.00040
UR  - https://arxiv.org/abs/2511.01423
ID  - 2511.01423
ER  -