Geguang Pu
8 papers
· 2017–2025
· 4 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(26)
π
Academic Marathon
(8)
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(7)
π
Interdisciplinary Bridge
π
Conference Polyglot
(4)
π§
Keyword Pioneer
π§¬
Topic Evolution
π
Trend Setter
π
Conference Pioneer
ποΈ
Keyword Collector
(52)
Conferences
AAAI (5)
ACL (1)
CVPR (1)
IJCAI (1)
Top co-authors
Keywords
linear temporal logic
(3)
finite trace
(3)
adversarial attack
(2)
formal verification
(2)
deterministic finite automaton
(2)
concept learning
(1)
symbolic computation
(1)
few-shot learning
(1)
diffusion model
(1)
optimization algorithm
(1)
prompt engineering
(1)
language model
(1)
text-to-image model
(1)
text-to-image diffusion
(1)
adversarial prompt
(1)
jailbreak attack
(1)
latent diffusion
(1)
prompt optimization
(1)
prompt injection
(1)
backdoor attack
(1)
Papers
Symbolic LTLf Synthesis
IJCAI 2017