Checker Agreement Is Not Accuracy: A Boolean Oversight Methods Note
Open access0 citations
Abstract
Comparator-certified arithmetic methods note. This public working-corpus release includes the reviewed manuscript and paired Lean evidence. It is not peer reviewed or empirically validated; significance and novelty have not been independently established.
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-09-19
Authors: Justin Hart
Institutions: University of Providence