Publications

Explore 1,240 academic publications

Showing 12 of 1,240 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

An Inventory for Measuring Depression

The difficulties inherent in obtaining consistent and adequate diagnoses for the purposes of research and therapy have been pointed out by a number of authors. Pasamanick<sup>12...

1961 Archives of General Psychiatry 37547 citations