Akira Tanaka
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Software Eng.×1AI×1Logic×1Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
Why3-py: A Tool for Formal Verification of Hypothesis Testing and Meta-Analysis in Python
The paper proposes a formal verification framework for statistical programs in Python using Why3-py and extends StatWhy to verify meta-analysis methods.
Highlighted terms show continued research focus across papers