Tao Wei
2 papers · Latest:
Software Engineering
KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code
KVerus enables scalable and resilient formal verification for Rust code by bridging the Semantic-Structural Gap with a self-adaptive, retrieval-augmented system.
2605.03822
Computer VisionCGC: Compositional Grounded Contrast for Fine-Grained Multi-Image Understanding
CGC is a low-cost framework that boosts MLLM fine-grained multi-image understanding by using compositional grounded contrast and spatial rewards.
2604.22498
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.