Hypothesis Formalization: Empirical Findings, Software Limitations, and
Design Implications

Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications

6 April 2021

Nicole de Moura

Jeffrey Heer

Papers citing "Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications"

9 / 9 papers shown

Title
"The Diagram is like Guardrails": Structuring GenAI-assisted Hypotheses Exploration with an Interactive Shared Representation Zijian Ding Michelle Brachman Joel Chan Werner Geyer 63 0 0 21 Mar 2025
Goals, Process, and Challenges of Exploratory Data Analysis: An Interview Study Kanit Wongsuphasawat Yang Liu Jeffrey Heer 17 68 0 01 Nov 2019
Paths Explored, Paths Omitted, Paths Obscured: Decision Points & Selective Reporting in End-to-End Data Analysis Yang Liu Tim Althoff Jeffrey Heer 26 51 0 30 Oct 2019
Sketch-n-Sketch: Output-Directed Programming for SVG Brian Hempel Justin Lubin Ravi Chugh 51 88 0 24 Jul 2019
Tea: A High-level Language and Runtime System for Automating Statistical Analysis Eunice Jun Maureen Daum Jared Roesch Sarah E. Chasins E. Berger René Just Katharina Reinecke 53 36 0 10 Apr 2019
Veridical Data Science Bin Yu Karl Kumbier 50 164 0 23 Jan 2019
Decision-Making Under Uncertainty in Research Synthesis: Designing for the Garden of Forking Paths Alex Kale Matthew Kay Jessica Hullman 31 40 0 09 Jan 2019
Pyro: Deep Universal Probabilistic Programming Eli Bingham Jonathan P. Chen M. Jankowiak F. Obermeyer Neeraj Pradhan Theofanis Karaletsos Rohit Singh Paul A. Szerlip Paul Horsfall Noah D. Goodman BDL GP 149 1,050 0 18 Oct 2018
Fitting Linear Mixed-Effects Models using lme4 D. Bates M. Machler B. Bolker Steven C. Walker KELM 60 71,700 0 23 Jun 2014