Lijia Yu

Certifying the Full YOLO Pipeline: A Probabilistic Verification Approach

Towards a Theoretical Understanding of Prompt Engineering: Tractability, Existence, and Generalization

Provable Watermarking for Data Poisoning Attacks

SeCon-RAG: A Two-Stage Semantic Filtering and Conflict-Free Framework for Trustworthy RAG

Analyzing the Power of Chain of Thought through Memorization Capabilities