{"id":"https://openalex.org/W7213404455","doi":"https://doi.org/10.1109/rew72749.2026.00039","title":"Structured Interactions with LLMs to Support LTL","display_name":"Structured Interactions with LLMs to Support LTL","publication_year":2026,"publication_date":"2026-08-01","ids":{"openalex":"https://openalex.org/W7213404455","doi":"https://doi.org/10.1109/rew72749.2026.00039"},"language":"en","primary_location":{"id":"doi:10.1109/rew72749.2026.00039","doi":"https://doi.org/10.1109/rew72749.2026.00039","is_oa":true,"landing_page_url":"https://doi.org/10.1109/rew72749.2026.00039","pdf_url":null,"source":{"id":"https://openalex.org/S7407087432","display_name":"IEEE International Requirements Engineering Conference Workshops (REW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE 34th International Requirements Engineering Conference Workshops (REW)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1109/rew72749.2026.00039","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139603496","display_name":"Karenna Kung","orcid":"https://orcid.org/0009-0000-7733-8091","observed_orcids":["https://orcid.org/0009-0000-7733-8091"]},"institutions":[{"id":"https://openalex.org/I202524275","display_name":"Smith College","ror":"https://ror.org/0497crr92","country_code":"US","type":"education","lineage":["https://openalex.org/I202524275"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Karenna Kung","raw_affiliation_strings":["Smith College"],"raw_orcid":"https://orcid.org/0009-0000-7733-8091","affiliations":[{"raw_affiliation_string":"Smith College","institution_ids":["https://openalex.org/I202524275"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5137551460","display_name":"Maanas Punuru","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Maanas Punuru","raw_affiliation_strings":["Panther Creek High School"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Panther Creek High School","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018800958","display_name":"Alicia M. Grubb","orcid":"https://orcid.org/0000-0002-3552-3165","observed_orcids":["https://orcid.org/0000-0002-3552-3165"]},"institutions":[{"id":"https://openalex.org/I202524275","display_name":"Smith College","ror":"https://ror.org/0497crr92","country_code":"US","type":"education","lineage":["https://openalex.org/I202524275"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alicia M. Grubb","raw_affiliation_strings":["Smith College"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Smith College","institution_ids":["https://openalex.org/I202524275"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057896873","display_name":"Paola Spoletini","orcid":"https://orcid.org/0000-0001-7922-4936","observed_orcids":["https://orcid.org/0000-0001-7922-4936"]},"institutions":[{"id":"https://openalex.org/I172980758","display_name":"Kennesaw State University","ror":"https://ror.org/00jeqjx33","country_code":"US","type":"education","lineage":["https://openalex.org/I172980758"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paola Spoletini","raw_affiliation_strings":["Kennesaw State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kennesaw State University","institution_ids":["https://openalex.org/I172980758"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.61063646,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"206","last_page":"213"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.44209998846054077,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.44209998846054077,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.18359999358654022,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14414","display_name":"Artificial Intelligence in Education","score":0.13809999823570251,"subfield":{"id":"https://openalex.org/subfields/3304","display_name":"Education"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.9160000085830688},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"linear temporal logic","score":0.8849999904632568},{"id":"https://openalex.org/keywords/llm-prompting","display_name":"LLM prompting","score":0.5960000157356262},{"id":"https://openalex.org/keywords/student-learning-support","display_name":"student learning support","score":0.4020000100135803},{"id":"https://openalex.org/keywords/replication","display_name":"replication","score":0.3190000057220459}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8418999910354614},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6179999709129333},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.5134999752044678},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.4918000102043152},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.4733999967575073},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.46059998869895935},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.36160001158714294},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.35910001397132874},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3483999967575073},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3327000141143799},{"id":"https://openalex.org/C2994165510","wikidata":"https://www.wikidata.org/wiki/Q131160","display_name":"Political correctness","level":3,"score":0.311599999666214},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.3077999949455261},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30140000581741333},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.2953999936580658},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2922999858856201},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.29030001163482666},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.2865000069141388},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.28060001134872437},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.27900001406669617},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.27889999747276306},{"id":"https://openalex.org/C39549134","wikidata":"https://www.wikidata.org/wiki/Q133080","display_name":"Public relations","level":1,"score":0.2784000039100647},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2669999897480011},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.2653999924659729},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.25440001487731934}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rew72749.2026.00039","doi":"https://doi.org/10.1109/rew72749.2026.00039","is_oa":true,"landing_page_url":"https://doi.org/10.1109/rew72749.2026.00039","pdf_url":null,"source":{"id":"https://openalex.org/S7407087432","display_name":"IEEE International Requirements Engineering Conference Workshops (REW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE 34th International Requirements Engineering Conference Workshops (REW)","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1109/rew72749.2026.00039","doi":"https://doi.org/10.1109/rew72749.2026.00039","is_oa":true,"landing_page_url":"https://doi.org/10.1109/rew72749.2026.00039","pdf_url":null,"source":{"id":"https://openalex.org/S7407087432","display_name":"IEEE International Requirements Engineering Conference Workshops (REW)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 IEEE 34th International Requirements Engineering Conference Workshops (REW)","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.8278999924659729,"display_name":"Quality education"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W2053154970","https://openalex.org/W2059216172","https://openalex.org/W2063052894","https://openalex.org/W2108617939","https://openalex.org/W2110893343","https://openalex.org/W2113533445","https://openalex.org/W3037634279","https://openalex.org/W3088608579","https://openalex.org/W3159250634","https://openalex.org/W4220942627","https://openalex.org/W4308243713","https://openalex.org/W4382463985","https://openalex.org/W4384521943","https://openalex.org/W4386833438","https://openalex.org/W4390315357","https://openalex.org/W4400267629","https://openalex.org/W4401379837","https://openalex.org/W4402897118","https://openalex.org/W4407693852","https://openalex.org/W4415003614","https://openalex.org/W7125923841","https://openalex.org/W7133220347"],"related_works":["https://openalex.org/W7213437856","https://openalex.org/W7212044034","https://openalex.org/W7213410181","https://openalex.org/W7211992817","https://openalex.org/W7125644766","https://openalex.org/W7213435540","https://openalex.org/W7213408098","https://openalex.org/W166949058","https://openalex.org/W7213436702","https://openalex.org/W7162284186"],"abstract_inverted_index":{"Prompting":[0],"large":[1],"language":[2],"models":[3],"(LLMs)":[4],"to":[5,15,29,47],"produce":[6],"Linear":[7],"Temporal":[8],"Logic":[9],"(LTL)":[10],"explanations":[11],"has":[12,24],"been":[13],"shown":[14],"assist":[16],"students":[17,53,95],"in":[18,54],"LTL":[19,58],"understanding":[20],"tasks.":[21],"Prior":[22],"work":[23],"investigated":[25],"LLM":[26,51,62,71],"prompt":[27],"improvements":[28],"ensure":[30],"the":[31,34,45,79],"correctness":[32,68],"of":[33],"subsequent":[35],"explanations.":[36],"In":[37],"this":[38],"paper,":[39],"we":[40,82,99],"complete":[41],"a":[42,105],"replication":[43,80],"investigating":[44],"extent":[46],"which":[48],"using":[49],"an":[50,84],"assists":[52],"answering":[55],"questions":[56],"about":[57],"and":[59,86,94],"find":[60],"that":[61],"usage":[63,72],"is":[64],"associated":[65],"with":[66,104],"higher":[67],"scores,":[69],"but":[70],"varied":[73],"within":[74],"subject":[75],"populations.":[76],"Based":[77],"on":[78],"results,":[81],"propose":[83],"approach":[85,103],"prototype":[87],"tooling":[88],"for":[89],"structured":[90],"interactions":[91],"between":[92],"LLMs":[93],"learning":[96],"LTL.":[97],"Finally,":[98],"evaluate":[100],"our":[101],"initial":[102],"pilot":[106],"study.":[107]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-09-17T00:00:00"}