2 papers
cs.SE2026
PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh K Sharma, Jonathan De Halleux, Shraddha Barke +2
Large language models (LLMs) are being used in many applications and prompts for these models are integrated into software applications as code-like artifacts. These prompts behave…
cs.HC2025
Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Ruanqianqian Huang, Ayana Monroe, Peli de Halleux +2
Constraint-satisfaction problems (CSPs) are ubiquitous, ranging from budgeting for grocery shopping to verifying software behavior. Logic modeling helps solve CSPs programmatically…