Keyword:semantic guidance

Publications
Semantic-Guided Latent Space Backdoor Attack: a Novel Threat to Stable Diffusion Yu Pan, Yi Du, Lin Wang and Bingrong Dai EasyChair Preprint 13979
SGGS Theorem Proving: an Exposition Maria Paola Bonacina and David Plaisted In:PAAR-2014. 4th Workshop on Practical Aspects of Automated Reasoning