Taolue Chen
8 papers
· 2016–2025
· 6 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(6)
π
Academic Marathon
(9)
π
Cross-Pollinator
(11)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(13)
π
Conference Pioneer
Conferences
ICLR (2)
IJCAI (2)
AAAI (1)
ACL (1)
EMNLP (1)
NIPS (1)
Top co-authors
Keywords
dictionary learning
(1)
retrieval augmented generation
(1)
reinforcement learning
(1)
probabilistic modeling
(1)
game theory
(1)
probabilistic logic
(1)
code generation
(1)
formal methods
(1)
automated reasoning
(1)
semantic matching
(1)
strategic reasoning
(1)
hierarchical structure
(1)
stochastic game
(1)
temporal logic
(1)
model checking
(1)
token-level retrieval
(1)
symbolic execution
(1)
smt solving
(1)
neuro-symbolic learning
(1)
strategy synthesis
(1)