RESEARCHarXiv CS.AI·4/22/2026
Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline
Es wird ein formal verifiziertes Framework für die Patentanalyse als hybride KI + Lean 4 Pipeline vorgestellt. Dies ist die erste bekannte Anwendung von interaktiver Theorembeweisführung auf die Analyse geistigen Eigentums, die die Schwächen bestehender Methoden überwindet.
27