Author
Qiyuan Xu
Recent research
- AI & ComputingOpen access
On the Eve of the LLM-Driven Revolution in Deductive Verification over Rich Logics
This article is from the introductory chapter of the author’s PhD thesis at Nanyang Technological University.
- AI & ComputingOpen access
On the Eve of the LLM-Driven Revolution in Deductive Verification over Rich Logics
This article is from the introductory chapter of the author’s PhD thesis at Nanyang Technological University.