Shengchao Qin
7 papers · 2015–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (4) 🏃 Academic Marathon (10) 🐝 Cross-Pollinator (12)
🌈
Renaissance Researcher
(5)
🐣
Hot Topic Early Bird
Conferences
IJCAI (3)
ACL (2)
AAAI (1)
EMNLP (1)
Top co-authors
Keywords
large language model
(2)
formal verification
(2)
model predictive control
(1)
instruction tuning
(1)
knowledge graph
(1)
multimodal large language model
(1)
formal specification
(1)
retrieval-augmented generation
(1)
trajectory planning
(1)
formal proof
(1)
multi-robot system
(1)
neuro-symbolic system
(1)
gui agent
(1)
natural language requirement
(1)
control optimization
(1)
mobile app
(1)
image content moderation
(1)
program specification
(1)
theorem proving
(1)
specification synthesis
(1)
Papers
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
ACL 2026
From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
ACL 2025
KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation
EMNLP 2025
ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
AAAI 2025
Switched Linear Multi-Robot Navigation Using Hierarchical Model Predictive Control
IJCAI 2017
Hierarchical Model Predictive Control for Multi-Robot Navigation
IJCAI 2016
Optimal Route Search with the Coverage of Users' Preferences
IJCAI 2015