Fuqi Jia
6 papers · 2022–2026 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(15)
🐣
Hot Topic Early Bird
❓
The Questioner
Venues
Top co-authors
Research topics
Artificial Intelligence
(4)
Core AI
(4)
Deep Learning
(3)
Machine Learning
(3)
Optimization & Theory
(2)
Mathematics & Optimization
(1)
Reinforcement Learning
(1)
Architectures
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
Mathematics
(1)
Methods
(1)
Models
(1)
Optimization
(1)
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
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NeurIPS 2023
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022