Wenxi Wang

LLMs can't reason their way through Rust verification, struggling to complete proofs even with substantial hints, revealing a critical gap in their ability to handle the rigorous demands of secure software development.

Forget wrestling with prompts: this training-free framework lets you guide diffusion models with simple visual feedback, achieving superior preference alignment.