novelty-verification

本文介绍了AViD Journal，一个使用Lean 4进行数学定理自动新颖性验证的管道，在撤回的arXiv论文上进行评估，并强调形式验证中的挑战。