Taolue Chen
8 papers · 2016–2025 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ 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)
Papers
Beyond Sequences: Two-dimensional Representation and Dependency Encoding for Code Generation
ACL 2025
Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving
IJCAI 2025
Neuro-symbolic Learning Yielding Logical Constraints
NIPS 2023
Learning with Logical Constraints but without Shortcut Satisfaction
ICLR 2023
Softened Symbol Grounding for Neuro-symbolic Systems
ICLR 2023
Syntax-Aware Retrieval Augmented Code Generation
EMNLP 2023
Probabilistic Alternating-Time Β΅-Calculus
AAAI 2019
Verifying Pushdown Multi-Agent Systems against Strategy Logics
IJCAI 2016