research
∙
05/17/2023
Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting
In recent years, researchers have proposed a number of automated tools t...
share
research
∙
10/07/2022
Understanding and Supporting Debugging Workflows in Multiverse Analysis
Multiverse analysis-a paradigm for statistical analysis that considers a...
research
∙
01/07/2022
Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships
Proper statistical modeling incorporates domain theory about how concept...
research
∙
04/06/2021
Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications
Data analysis requires translating higher level questions and hypotheses...
research
∙
04/10/2019