Fuqi Jia
6 papers
· 2022–2026
· 3 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π
Conference Polyglot
(3)
π
Renaissance Researcher
(5)
π
Cross-Pollinator
(15)
πΊοΈ
Taxonomy Completionist
(16)
π§
Keyword Pioneer
β
The Questioner
Conferences
AAAI (4)
EMNLP (1)
NIPS (1)
Top co-authors
Keywords
large language model
(2)
graph neural network
(2)
smt solving
(2)
model robustness
(1)
constraint optimization
(1)
deep learning
(1)
automated reasoning
(1)
adversarial attack
(1)
symbolic computation
(1)
neuro-symbolic ai
(1)
constraint programming
(1)
conflict-driven clause learning
(1)
word substitution
(1)
tree of thought
(1)
word perturbation
(1)
nlp model
(1)
branching heuristic
(1)
uninterpreted function
(1)
word substitution perturbation
(1)
deep nlp model
(1)