Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, René Just. Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications. ACM Transactions on Computer-Human Interaction, 29(1), 2022. [doi]
Abstract is missing.