7 papers
FlowBook: Enforcing Reproducibility in Computational Notebooks
Stephen N. Freund, Emery D. Berger, Cormac Flanagan +1
Computational notebooks are notoriously prone to reproducibility failures. By permitting out-of-order cell execution, notebooks accumulate hidden state and implicit dependencies th…
Causality and Semantic Separation
Anna Zhang, Qinglan Luo, London Bielicke +2
The design of scientific experiments deserves its own variation of formal verification to catch cases where scientists made important mistakes, such as forgetting to take confoundi…
PLanet: Formalizing and Analyzing Assignment Procedures in the Design of Experiments
London Bielicke, Anna Zhang, Shruti Tyagi +3
Experimental designs reflect assumptions about variable relationships that determine what causal queries researchers can answer through the experiment. Accounting for and communica…
PriorWeaver: Prior Elicitation via Iterative Dataset Construction
Yuwei Xiao, Shuai Ma, Antti Oulasvirta +1
In Bayesian analysis, prior elicitation, or the process of facilitating the expression of one's beliefs to inform statistical modeling, is an essential yet challenging step. Analys…
Supporting Medicinal Chemists in Iterative Hypothesis Generation for Drug Target Identification
Youngseung Jeon, Christopher Hwang, Ziwen Li +6
While drug discovery is vital for human health, the process remains inefficient. Medicinal chemists must navigate a vast protein space to identify target proteins that meet three c…
Flowco: Rethinking Data Analysis in the Age of LLMs
Stephen N. Freund, Brooke Simon, Emery D. Berger +1
Conducting data analysis typically involves authoring code to transform, visualize, analyze, and interpret data. Large language models (LLMs) are now capable of generating such cod…