Why3-py：用于Python中假设检验和元分析形式验证的工具
Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python
浏览论文内容
中文总结 AI 辅助
针对科研可重复性危机，提出Python统计程序形式验证框架。介绍Why3-py，将Python程序转为WhyML表示，还扩展StatWhy工具，可助用户识别假设及分析误用，验证程序正确性。
中文摘要 AI 辅助
科学研究中的可重复性危机已获广泛认可，这增加了整合多项研究统计分析的元分析的重要性。然而，统计方法往往有模糊和隐含的潜在假设，可能导致错误应用和解释。为解决此问题，我们提出了一个用于Python编写的统计程序的形式验证框架。具体来说，我们展示了Why3-py，这是一个用于Why3验证平台的Python前端，它将Python程序转换为适合形式验证的面向验证的WhyML表示，解决了Python动态类型和运行时多态性带来的挑战。此外，我们扩展了StatWhy工具以支持元分析方法的验证。这些工具使用户能够识别被忽视的假设和分析的误用，并验证用于假设检验和元分析的Python程序的正确性。
英文摘要
The reproducibility crisis in scientific research has received widespread recognition, thereby increasing the importance of meta-analyses that integrate statistical analyses from multiple studies. However, statistical methods often have ambiguous and implicit underlying assumptions, which can lead to their erroneous applications and interpretations. To address this issue, we propose a formal verification framework for statistical Python programs. Specifically, we present Why3-py, a Python front-end for the Why3 verification platform that transforms Python code into verification-oriented WhyML representations, addressing the challenges arising from Python's dynamic typing and runtime polymorphism. Furthermore, we extend the StatWhy tool to support the verification of meta-analysis methods. These tools enable meta-analysts to identify overlooked assumptions and misuse of analyses, and to verify the correct use of hypothesis testing and meta-analysis methods in Python code.
发表机构
- National Institute of Advanced Industrial Science and Technology（国家工业科学与技术研究院）
机构由 AI 辅助整理，请以论文原文为准。
