{"type": "article", "title": "Beyond Correctness: Toward Automated Novelty Verification with Lean 4", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/beyond-correctness-toward-automated-novelty-verification-with-lean-4", "original_source": "https://www.machinebrief.com/news/beyond-correctness-toward-automated-novelty-verification-wit-xx4q", "published": "2026-08-18T04:00:00+00:00", "accessed": "2026-08-18", "id": "beyond-correctness-toward-automated-novelty-verification-with-lean-4"}