Shengchao Qin
6 papers
· 2015–2025
· 4 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(4)
🏃
Academic Marathon
(10)
🐝
Cross-Pollinator
(12)
🌈
Renaissance Researcher
(5)
🐣
Hot Topic Early Bird
Conferences
IJCAI (3)
AAAI (1)
ACL (1)
EMNLP (1)
Top co-authors
Keywords
theorem proving
(1)
explainable ai
(1)
model predictive control
(1)
instruction tuning
(1)
formal verification
(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)
gui agent
(1)
natural language requirement
(1)
large language model
(1)
control optimization
(1)
mobile app
(1)
image content moderation
(1)