Qixin Zhang

KQFuzz uncovers bugs in quantum libraries with 18.44% better coverage than existing methods, revealing critical flaws that developers can quickly address.

OmniQEC uncovers quantum error-correcting codes that outperform established benchmarks, paving the way for more efficient fault-tolerant quantum computing.

VLMs often rely on misleading visual cues instead of true chronological understanding, revealing critical flaws in their reasoning capabilities.

Finally, a zero-knowledge data valuation system that scales: ZK-Value proves Shapley values in seconds to minutes, beating specialized ZK baselines by over an order of magnitude.