COLDECO: An End User Spreadsheet Inspection Tool for AI-Generated Code
Authors:
- 3 October 2023
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 82-91
Abstract
Code-generating large language models (LLMs) are transforming programming. Their capability to generate multi-step solutions provides even non-programmers a mechanism to harness the power of coding. Non-programmers often use spreadsheets to manage tabular data, as they offer an intuitive understanding of data manipulation and formula out-comes. Considering that LLMs can generate complex, potentially incorrect code, our focus is on enabling user trust in the accuracy of LLM-generated code. We present ColDeco, the first end-user inspection tool for comprehending code produced by LLMs for tabular data tasks. ColDeco integrates two new features for inspection with a grid-based interface. First, users can decompose a generated solution into intermediate helper columns to understand how the problem is solved step by step. Second, users can interact with a filtered table of summary rows, which highlight interesting cases in the program. We evaluate our tool using a within-subjects user study (n=24) where participants are asked to verify the correctness of programs generated by an LLM. We found that while all features are independently useful, participants preferred them in combination. Users especially noted the usefulness of helper columns, but wanted more transparency in how summary rows are generated to assist with understanding and trusting them. Users also highlighted the application of ColDeco in collaborative settings for explaining and understanding existing formulas.Keywords
This publication has 34 references indexed in Scilit:
- Gradual structuring in the spreadsheet paradigm2016
- User Interaction Models for Disambiguation in Programming by Example2015
- "Yours is better!"2012
- The state of the art in end-user software engineeringACM Computing Surveys, 2011
- Automating string processing in spreadsheets using input-output examplesACM SIGPLAN Notices, 2011
- Getting the right design and the design right2006
- Using thematic analysis in psychologyQualitative Research in Psychology, 2006
- Visual Specifications of Correct Spreadsheets2005
- Some Difficulties of Learning to ProgramJournal of Educational Computing Research, 1986
- Computer SoftwareScientific American, 1984