Feifei Ma
11 papers · 2019–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+7 more ↓ Show less ↑
π Interdisciplinary Bridge π Conference Polyglot (6) π Academic Marathon (6) π Renaissance Researcher (7) πΊοΈ Taxonomy Completionist (24)
π§
Keyword Pioneer
π
Conference Polyglot
(6)
π§¬
Topic Evolution
π
Century Club
(10)
β
The Questioner
π₯
Unstoppable
(5)
ποΈ
Keyword Collector
(55)
Conferences
AAAI (4)
IJCAI (3)
COLING (1)
EMNLP (1)
ICCV (1)
NIPS (1)
Top co-authors
Keywords
smt solving
(2)
graph neural network
(2)
large language model
(2)
adversarial attack
(2)
robustness enhancement
(2)
constraint optimization
(1)
model robustness
(1)
adversarial robustness
(1)
feature representation
(1)
automated reasoning
(1)
graph coloring
(1)
symbolic reasoning
(1)
approximation algorithm
(1)
symbolic computation
(1)
ensemble method
(1)
deep learning
(1)
deep neural network
(1)
sat solver
(1)
neuro-symbolic ai
(1)
linear constraint
(1)
Papers
LLM-Guided Quantified SMT Solving over Uninterpreted Functions
AAAI 2026
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025
PAD: A Robustness Enhancement Ensemble Method via Promoting Attention Diversity
COLING 2024
Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract)
AAAI 2023
Suggesting Variable Order for Cylindrical Algebraic Decomposition via Reinforcement Learning
NIPS 2023
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
IJCAI 2022
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019
ACFNet: Attentional Class Feature Network for Semantic Segmentation
ICCV 2019
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019