@article{2022-hypothesis-formalization,
 title = {Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications },
 author = {Eunice Jun AND Melissa Birchfield AND Nicole de Moura AND Jeffrey Heer AND Ren\'{e} Just},
 journal = {ACM Trans. on Computer-Human Interaction},
 year = {2022},
 volume = {29},
 number = {1},
 editor = {Kristina Hook},
 pages = {1--28},
 publisher = { },
 location = { },
 url = {http://idl.cs.washington.edu/papers/hypothesis-formalization},
}