Feifei Ma

3 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2 EMNLP ×1

Frequent coauthors

Fuqi Jia

×3

Jian Zhang

×3

Yuhang Dong

×2

Rui Han

×2

Minghao Liu

×2

Kunhang Lv

×1

Pei Huang

×1

Weichun Shi

×1

Wanting Zhang

×1

Langchen Shi

×1

Papers

LLM-Guided Quantified SMT Solving over Uninterpreted Functions
AAAI 2026 ·
Kunhang Lv
,
Yuhang Dong
,
Rui Han
,
Fuqi Jia
, Feifei Ma,
Jian Zhang
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
AAAI 2025 ·
Fuqi Jia
,
Yuhang Dong
,
Rui Han
,
Pei Huang
,
Minghao Liu
, Feifei Ma,
Jian Zhang
ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
EMNLP 2025 ·
Weichun Shi
,
Minghao Liu
,
Wanting Zhang
,
Langchen Shi
,
Fuqi Jia
, Feifei Ma,
Jian Zhang