Shengchao Qin
7 papers · 2015–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
π
Conference Polyglot Β· Bronze
π
Academic Marathon Β· Half
π
Interdisciplinary Bridge Β· Silver
πΊοΈ
Taxonomy Completionist
(11)
π£
Hot Topic Early Bird
Top co-authors
Research topics
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
ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation
AAAI 2025
KG-RAG: Enhancing GUI Agent Decision-Making via Knowledge Graph-Driven Retrieval-Augmented Generation
EMNLP 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