PPaperPicks

Shengchao Qin

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

DBLP profile ↗ORCID search ↗

Venues

ACL ×2AAAI ×1EMNLP ×1

Frequent coauthors

Cheng Wen
DBLP profile ↗ORCID search ↗
×1
Jialun Cao
DBLP profile ↗ORCID search ↗
×1
Mengyang Wu
DBLP profile ↗ORCID search ↗
×1
Ziyi Guan
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
    ACL 2026 ·
    Cheng Wen
    DBLP profile ↗ORCID search ↗
  2. From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
    ACL 2025 ·
    Jialun Cao
    DBLP profile ↗ORCID search ↗
  3. ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
    AAAI 2025 ·
    Mengyang Wu
    DBLP profile ↗ORCID search ↗
  4. KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation
    EMNLP 2025 ·
    Ziyi Guan
    DBLP profile ↗ORCID search ↗