Lijun Zhang

Certifying the Full YOLO Pipeline: A Probabilistic Verification Approach

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

Generalizability of Neural Networks Minimizing Empirical Risk Based on Expressive Power

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

Analyzing the Power of Chain of Thought through Memorization Capabilities

Information-theoretically Safe Bias Classifier Against Adversarial Attacks