PPaperPicks

Feifei Ma

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2EMNLP ×1

Frequent coauthors

Kunhang Lv
DBLP profile ↗ORCID search ↗
×1
Fuqi Jia
DBLP profile ↗ORCID search ↗
×1
Weichun Shi
DBLP profile ↗ORCID search ↗
×1

Papers

  1. LLM-Guided Quantified SMT Solving over Uninterpreted Functions
    AAAI 2026 ·
    Kunhang Lv
    DBLP profile ↗ORCID search ↗
  2. A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
    AAAI 2025 ·
    Fuqi Jia
    DBLP profile ↗ORCID search ↗
  3. ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
    EMNLP 2025 ·
    Weichun Shi
    DBLP profile ↗ORCID search ↗