27 citations · 27 across the 6 of their papers we have counts for
4 papers · 1 filter
Plottery: A Code-Integrated GUI for Matplotlib
Brian Hempel, Ruanqianqian Huang, Devamardeep Hayatpur +2
Scientists have many tools to author plots: graphical direct manipulation apps like a spreadsheet's chart builder, text-based programming tools like Matplotlib and ggplot2, or AI c…
Tidynote: Always-Clear Notebook Authoring
Ruanqianqian Huang, Brian Hempel, Yining Cao +3
Recent work identified clarity as one of the top quality attributes that notebook users value, but notebooks lack support for maintaining clarity throughout the exploratory phases…
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…
Validating AI-Generated Code with Live Programming
Kasra Ferdowsi, Ruanqianqian Huang, Michael B. James +2
AI-powered programming assistants are increasingly gaining popularity, with GitHub Copilot alone used by over a million developers worldwide. These tools are far from perfect, howe…