Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Karenna Kung
Observed name:
Kung, Karenna
Institutions:
University of Toronto,
Smith College
Observed institutions:
University of Toronto,
Smith College
ORCID:
0009-0000-7733-8091
Observed ORCID:
0009-0000-7733-8091
OpenAlex ID:
A5139603496
AssureCode: Structured Justification for Trustworthy Agentic Coding
2026
·
Murphy, Logan
, Sy, Wilson
, et al.
·
arXiv (Cornell University)
PDF
Systematic LLM Prompt Development for Human-Centric Interpretation of Linear Temporal Logic - Supplemental Material
2026
·
Karenna Kung
, Paola Spoletini
, et al.
Structured Interactions with LLMs to Support LTL
2026
·
Karenna Kung
, Maanas Punuru
, et al.
·
IEEE International Requirements Engineering Conference Workshops (REW)
Structured Interactions with LLMs to Support LTL: Supplemental Information
2026
·
Karenna Kung
, Maanas Punuru
, et al.
Cluster Adjuster: Towards Traceability of Git Issues and Requirements
2025
·
Kung, Karenna
·
Smith ScholarWorks (Smith College)
Show more works
View as search
Works count:
5
Citation count:
H-index:
I10-index:
Year
Topic
Type
