PPaperPicks

Minghao Liu

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2EMNLP ×1

Frequent coauthors

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

Papers

  1. A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic
    AAAI 2025 ·
    Fuqi Jia
    DBLP profile ↗ORCID search ↗
  2. ConstraintLLM: A Neuro-Symbolic Framework for Industrial-Level Constraint Programming
    EMNLP 2025 ·
    Weichun Shi
    DBLP profile ↗ORCID search ↗
  3. Scalable Knowledge Refactoring Using Constrained Optimisation
    AAAI 2025 · Minghao Liu