Exploring Predictable Redundant Instruction Parallelism in Fault Tolerant Microprocessors. - Hongjun Dai; Chao Yan; Bin Gong; Zhun Yang; Tianzhou Chen (HPCC/CSS/ICESS, 2015)

Study on coupling vibration of passenger-vehicle-bridge system and influence on the ride comfort. - Shaoqin Wang; Qin Ma; Zhun Yang; Xuerong Liu (ICMLC, 2016)

LPMLN, Weak Constraints, and P-log. - Joohyung Lee 002; Zhun Yang (AAAI, 2017)

Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs. - Zhun Yang (ICLP (Technical Communications), 2018)

Computing Logic Programs with Ordered Disjunction Using asprin. - Joohyung Lee 002; Zhun Yang (KR, 2018)

Translating LPOD and CR-Prolog2 into standard answer set programs. - Joohyung Lee 002; Zhun Yang (Theory Pract. Log. Program., 2018)

NeurASP: Embracing Neural Networks into Answer Set Programming. - Zhun Yang; Adam Ishay; Joohyung Lee 002 (IJCAI, 2020)

Extending Answer Set Programs with Neural Networks. - Zhun Yang (ICLP Technical Communications, 2020)

Injecting Logical Constraints into Neural Networks via Straight-Through Estimators. - Zhun Yang; Joohyung Lee 002; Chiyoun Park (ICML, 2022)

Statistical Relational Extension of Answer Set Programming. - Joohyung Lee 002; Zhun Yang (RW, 2022)

LICALITY - Likelihood and Criticality: Vulnerability Risk Prioritization Through Logical Reasoning and Deep Learning. - Zhen Zeng; Zhun Yang; Dijiang Huang; Chun-Jen Chung (IEEE Trans. Netw. Serv. Manag., 2022)

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. - Zhun Yang; Adam Ishay; Joohyung Lee 002 (ACL (Findings), 2023)

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. - Zhun Yang; Adam Ishay; Joohyung Lee 002 (ICLR, 2023)

Leveraging Large Language Models to Generate Answer Set Programs. - Adam Ishay; Zhun Yang; Joohyung Lee 002 (KR, 2023)

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. - Adam Ishay; Zhun Yang; Joohyung Lee 002; Ilgu Kang; Dongjae Lim (WACV, 2024)

Towards a Personal Health Large Language Model. - Justin Cosentino; Anastasiya Belyaeva; Xin Liu 034; Nicholas A. Furlotte; Zhun Yang; Chace Lee; Erik Schenck; Yojan Patel; Jian Cui; Logan Douglas Schneider; Robby Bryant; Ryan G. Gomes; et al. (CoRR, 2024)

LPMLN, Weak Constraints, and P-log. - Joohyung Lee; Zhun Yang (CoRR, 2025)