FASTRIC: Prompt Specification Language for Verifiable LLM Interactions

Wen-Long Jin

Large Language Models (LLMs) execute complex multi-turn interaction protocols but lack formal specifications to verify execution against designer intent. We introduce FASTRIC, a Pr…