Structured Interactions with LLMs to Support LTL: Supplemental Information

Authors

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

Document Type

Conference Proceeding

Publication Date

2026

Publication Title

Workshop on Human-Centered AI for Requirements Engineering (HCARE'26)

Abstract

This repository contains the supplemental information for the paper: "Structured Interactions with LLMs to Support LTL", which investigates how students interact with and can be supported by LLM explanations while translating linear temporal logic formulae into English natural language.

DOI

https://doi.org/10.35482/csc.001.2026

Creative Commons License

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

Rights

© 2026 The Authors

Version

Version of Record

Comments

Zip file including:

folder: pilot study

folder: LTL-Parr-tner

file: README.md

folder: classroom study

Recommended Citation

Kung, Karenna; Punuru, Maanas; Grubb, Alicia M.; and Spoletini, Paola, "Structured Interactions with LLMs to Support LTL: Supplemental Information" (2026). Computer Science: Faculty Publications, Smith College, Northampton, MA.
https://scholarworks.smith.edu/csc_facpubs/429