Qiyi Tang
4 papers · 2020–2026 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (3) 🐝 Cross-Pollinator (4) 🏃 Academic Marathon (6)
🌈
Renaissance Researcher
(7)
🗺️
Taxonomy Completionist
(14)
Conferences
AAAI (2)
IJCAI (1)
NIPS (1)
Top co-authors
Keywords
binary code
(2)
graph neural network
(2)
automata learning
(1)
source code
(1)
semantic information
(1)
convolutional neural network
(1)
semantic embedding
(1)
policy synthesis
(1)
stochastic planning
(1)
linear temporal logic
(1)
negative sampling
(1)
automaton learning
(1)
omega automaton
(1)
buchi automaton
(1)
equivalence query
(1)
regular language
(1)
control flow graph
(1)
binary code similarity
(1)
bert pretraining
(1)
block feature
(1)
Papers
Good-for-MDP State Reduction for Stochastic LTL Planning
AAAI 2026
Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata
IJCAI 2024
CodeCMR: Cross-Modal Retrieval For Function-Level Binary Source Code Matching
NIPS 2020
Order Matters: Semantic-Aware Neural Networks for Binary Code Similarity Detection
AAAI 2020