dataset-defects

本文对五个广泛使用的Lean定理证明基准进行了审计，发现了398个机械可验证的问题，例如反例、空洞定理和不健全的公理。它提出了一个故障分类法、自动化检查器和发布标准，以提高评估的可靠性和可信度。