Feifei Ma
11 papers · 2019–2026 · 6 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 ↓+6 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (23) π Academic Marathon Β· Sprint π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Bronze π£ Hot Topic Early Bird
π§¬
Topic Evolution
π
Renaissance Researcher
(5)
π₯
Unstoppable Β· Bronze
β
The Questioner
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(55)
Top co-authors
Research topics
Machine Learning
(6)
Artificial Intelligence
(5)
Core AI
(5)
Deep Learning
(4)
Mathematics & Optimization
(3)
Optimization & Theory
(3)
Architectures
(2)
Learning Types
(2)
Mathematics
(2)
Optimization
(2)
Computer Science
(1)
Computer Vision
(1)
Reinforcement Learning
(1)
Analysis
(1)
Core Methods
(1)
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
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 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
NeurIPS 2023
AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis
IJCAI 2022
Word Level Robustness Enhancement: Fight Perturbation with Perturbation
AAAI 2022
ACFNet: Attentional Class Feature Network for Semantic Segmentation
ICCV 2019
Approximating Integer Solution Counting via Space Quantification for Linear Constraints
IJCAI 2019
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
IJCAI 2019