3 papers
cs.CR2026
VOW: Verifiable and Oblivious Watermark Detection for Large Language Models
Xiaokun Luan, Yihao Zhang, Pengcheng Su +4
Regulation requires generated text to be marked and detectable, but symmetric-key watermarks leave detection to the key-holding provider. We study first-party provenance audit (FPA…
cs.SE2025
Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
Xinyi Zheng, Ningke Li, Xiaokun Luan +4
Large Language Models (LLMs) have demonstrated impressive reasoning capabilities, leading to their adoption in high-stakes domains such as healthcare, law, and scientific research.…
cs.AI2024
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
Yedi Zhang, Yufan Cai, Xinyue Zuo +9
Large Language Models (LLMs) have emerged as a transformative AI paradigm, profoundly influencing daily life through their exceptional language understanding and contextual generat…