TY - RPRT TI - Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications AU - Eunice Jun AU - Melissa Birchfield AU - Nicole de Moura AU - Jeffrey Heer AU - Rene Just PY - 2021 UR - https://arxiv.org/abs/2104.02712 ID - 2104.02712 ER -