| 2024 | WACV | Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. | Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim |
| 2023 | ACL | Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. | Zhun Yang, Adam Ishay, Joohyung Lee |
| 2023 | ICLR | Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. | Zhun Yang, Adam Ishay, Joohyung Lee |
| 2023 | KR | Leveraging Large Language Models to Generate Answer Set Programs. | Adam Ishay, Zhun Yang, Joohyung Lee |
| 2022 | ICML | Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. | Zhun Yang, Joohyung Lee, Chiyoun Park |
| 2020 | IJCAI | NeurASP: Embracing Neural Networks into Answer Set Programming. | Zhun Yang, Adam Ishay, Joohyung Lee |
| 2018 | ICLP | Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs. | Zhun Yang |
| 2018 | KR | Computing Logic Programs with Ordered Disjunction Using asprin. | Joohyung Lee, Zhun Yang |
| 2017 | AAAI | LPMLN, Weak Constraints, and P-log. | Joohyung Lee, Zhun Yang |
| 2016 | ICMLC | Study on coupling vibration of passenger-vehicle-bridge system and influence on the ride comfort. | Shaoqin Wang, Qin Ma, Zhun Yang, Xuerong Liu |
| 2015 | HPCC | Exploring Predictable Redundant Instruction Parallelism in Fault Tolerant Microprocessors. | Hongjun Dai, Chao Yan, Bin Gong, Zhun Yang, Tianzhou Chen |