@article{fastricpromptspecificationlanguageforver, title = {FASTRIC: Prompt Specification Language for Verifiable LLM Interactions}, author = {Wen-Long Jin}, year = {2025}, eprint = {2512.18940}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2512.18940}, }