Publications

Explore 10,000 academic publications

Showing 12 of 10,000 publications

MizAR 60 for Mizar 50

As a present to Mizar on its 50th anniversary, we develop an AI/TP system that automatically proves about 60% of the Mizar theorems in the hammer setting. We also automatically ...

2023 Leibniz-Zentrum für Informatik (Schlo... 70225 citations

A power primer.

One possible reason for the continued neglect of statistical power analysis in research in the behavioral sciences is the inaccessibility of or difficulty with the standard mate...

1992 Psychological Bulletin 40686 citations