On the Eve of the LLM-Driven Revolution in Deductive Verification over Rich Logics
Open access0 citations
Abstract
This article is from the introductory chapter of the author’s PhD thesis at Nanyang Technological University.
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-22
Authors: Qiyuan Xu
Institutions: Nanyang Technological University