Taolue Chen
9 papers · 2016–2026 · 7 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 ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (17) 🐣 Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
Artificial Intelligence
(6)
Core AI
(6)
Machine Learning
(5)
Computer Science
(2)
Natural Language Processing
(2)
Applications
(2)
Bayesian & Probabilistic
(2)
Core Methods
(2)
Optimization & Theory
(2)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Application Areas
(1)
Generation
(1)
Learning Types · Deep Learning
(1)
Learning Types · Machine Learning
(1)
Keywords
logical constraint
(2)
symbol grounding
(2)
neuro-symbolic learning
(2)
probabilistic modeling
(1)
constraint solving
(1)
code generation
(1)
probabilistic logic
(1)
best-first search
(1)
automated reasoning
(1)
semantic matching
(1)
formal verification
(1)
markov chain monte carlo
(1)
constraint satisfaction
(1)
strategic reasoning
(1)
hierarchical structure
(1)
variational framework
(1)
stochastic game
(1)
proof search
(1)
temporal logic
(1)
formal methods
(1)
Papers
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
OSDI 2026
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
Learning with Logical Constraints but without Shortcut Satisfaction
ICLR 2023
Neuro-symbolic Learning Yielding Logical Constraints
NeurIPS 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