Engineering Systems for Data Analysis Using Interactive Structured Inductive Programming
Not on the map. Why?
Abstract (arXiv)
Engineering information systems for scientific data analysis presents significant challenges: complex workflows requiring exploration of large solution spaces, close collaboration with domain specialists, and the need for maintainable, interpretable implementations. Traditional manual development is time-consuming, while "No Code" approaches using large language models (LLMs) often produce unreliable systems. We present iProg, a tool implementing Interactive Structured Inductive Programming. iProg employs a variant of a '2-way Intelligibility' communication protocol to constrain collaborative system construction by a human and an LLM. Specifically, given a natural-language description of the overall data analysis task, iProg uses an LLM to first identify an appropriate decomposition of the problem into a declarative representation, expressed as a Data Flow Diagram (DFD). In a second phase, iProg then uses an LLM to generate code for each DFD process. In both stages, human feedback, mediated through the constructs provided by the communication protocol, is used to verify LLMs' outputs. We evaluate iProg extensively on two published scientific collaborations (astrophysics and biochemistry), demonstrating that it is possible to identify appropriate system decompositions and construct end-to-end information systems with better performance, higher code quality, and order-of-magnitude faster development compared to Low Code/No Code alternatives. The tool is available at: https://shraddhasurana.github.io/dhaani/
Key facts. Cited by 3 papers in the map (data through 7 Oct 2026). Builds on 13 of its 47 references that are in the map. First posted on arXiv 18 Mar 2025.
Builds on
13 of 47 references.
References · 13
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2024A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applicationscited by 428
- 2022Structured Prompting: Scaling In-Context Learning to 1,000 Examplescited by 81
- 2023LLMs for Science: Usage for Code Generation and Data Analysiscited by 34
- 2024UICoder: Finetuning Large Language Models to Generate User Interface Code through Automated Feedbackcited by 26
- 2019Machine Learning and Big Scientific Datacited by 16
- 2024Guiding Enumerative Program Synthesis with Large Language Modelscited by 9
- 2024Unlocking Structured Thinking in Language Models with Cognitive Promptingcited by 7
- 2018Towards a Grounded Dialog Model for Explainable Artificial Intelligencecited by 4
- 2024Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpuscited by 4
1 more
Built on by
Citing papers per year: 2025: 1; 2026: 2.
3 papers.
- 2025Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challengecited by 0
- 2026Don't Let Me Ask for It: LLMs Show Deficiencies in Active Multi-Turn Information Acquisition for Abductive Inferencecited by 0
- 2026Identifying Latent Declarative Representations of Code for Assisting Repository Migrationcited by 0
- 2026Identifying Latent Declarative Representations of Code for Assisting Repository Migration22 Aug 2026
- 2026Don't Let Me Ask for It: LLMs Show Deficiencies in Active Multi-Turn Information Acquisition for Abductive Inference4 Aug 2026
- 2025Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge15 Jun 2025