Fuqi Jia
6 papers · 2022–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π 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)
Papers
LLM-Guided Quantified SMT Solving over Uninterpreted Functions
AAAI 2026
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NIPS 2023
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022