Qiyi Tang
4 papers · 2020–2026 · 3 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 ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge · Gold 🏃 Academic Marathon · Sprint 🗺️ Taxonomy Completionist (14) 🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze
🏆
Keyword Champion
🌈
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Artificial Intelligence
(3)
Machine Learning
(3)
Core AI
(3)
Computer Science
(2)
Deep Learning
(2)
Architectures
(2)
Core Methods
(2)
Data Science & Analytics
(1)
Knowledge & Reasoning
(1)
Mathematics & Optimization
(1)
Applications · Computer Science
(1)
Applications · Data Science & Analytics
(1)
Foundations
(1)
Mathematics
(1)
Optimization & Theory
(1)
Keywords
graph neural network
(2)
binary code
(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
NeurIPS 2020
Order Matters: Semantic-Aware Neural Networks for Binary Code Similarity Detection
AAAI 2020