Zheng Gao
2 indexed papers
Publications per year
Top categories
Frequent co-authors
Research Timeline
The paper introduces SHIFT, a training-free attack that exploits the vulnerability of diffusion-based watermarking by stochastically deflecting the generative trajectory, achieving high removal rates across diverse watermarking methods.
The paper explores the relationship between AI systems, proof assistants, and the generation of formal mathematics.
Papers
Flood and Harvest: The Provable Necessity of Trivia for Generating Valuable Mathematics via the Lens of Language Generation in the Limit
The paper explores the relationship between AI systems, proof assistants, and the generation of formal mathematics.