Systematic LLM Prompt Development for Human-Centric Interpretation of Linear Temporal Logic - Supplemental Material

Authors

• Karenna Kung, Smith College
• Paola Spoletini, Kennesaw State University
• Alicia M. Grubb, Smith CollegeFollow

Document Type

Article

Publication Date

2026

Publication Title

Requirements Engineering

Abstract

Supplemental material for the paper: "Systematic LLM Prompt Development for Human-Centric Interpretation of Linear Temporal Logic - Supplemental Material".

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.

Recommended Citation

Kung, Karenna; Spoletini, Paola; and Grubb, Alicia M., "Systematic LLM Prompt Development for Human-Centric Interpretation of Linear Temporal Logic - Supplemental Material" (2026). Computer Science: Faculty Publications, Smith College, Northampton, MA.
https://scholarworks.smith.edu/csc_facpubs/432