Chen, Taolue

7 publications

IJCAI 2025 Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving Bingzhe Zhou, Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma

ICLR 2023 Learning with Logical Constraints but Without Shortcut Satisfaction Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian

NeurIPS 2023 Neuro-Symbolic Learning Yielding Logical Constraints Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu

ICLR 2023 Softened Symbol Grounding for Neuro-Symbolic Systems Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian

AAAI 2019 Probabilistic Alternating-Time Μ-Calculus Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu

AAAI 2016 Global Model Checking on Pushdown Multi-Agent Systems Taolue Chen, Fu Song, Zhilin Wu

IJCAI 2016 Verifying Pushdown Multi-Agent Systems Against Strategy Logics Taolue Chen, Fu Song, Zhilin Wu