Zhun Yang

According to our database, Zhun Yang authored at least 15 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering.

Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2024

2023

Leveraging Large Language Models to Generate Answer Set Programs.

Adam Ishay, Zhun Yang, Joohyung Lee

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer.

Zhun Yang, Adam Ishay, Joohyung Lee

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text.

Zhun Yang, Adam Ishay, Joohyung Lee

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

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

Statistical Relational Extension of Answer Set Programming.

Joohyung Lee, Zhun Yang

Proceedings of the Reasoning Web. Causality, Explanations and Declarative Knowledge, 2022

Injecting Logical Constraints into Neural Networks via Straight-Through Estimators.

Zhun Yang, Joohyung Lee, Chiyoun Park

Proceedings of the International Conference on Machine Learning, 2022

2020

Extending Answer Set Programs with Neural Networks.

Zhun Yang

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

NeurASP: Embracing Neural Networks into Answer Set Programming.

Zhun Yang, Adam Ishay, Joohyung Lee

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

Translating LPOD and CR-Prolog2 into standard answer set programs.

Joohyung Lee, Zhun Yang

Theory Pract. Log. Program., 2018

Computing Logic Programs with Ordered Disjunction Using asprin.

Joohyung Lee, Zhun Yang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs.

Zhun Yang

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

LPMLN, Weak Constraints, and P-log.

Joohyung Lee, Zhun Yang

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Study on coupling vibration of passenger-vehicle-bridge system and influence on the ride comfort.

Shaoqin Wang, Qin Ma, Zhun Yang, Xuerong Liu

Proceedings of the International Conference on Machine Learning and Cybernetics, 2016

2015

Exploring Predictable Redundant Instruction Parallelism in Fault Tolerant Microprocessors.

Hongjun Dai, Chao Yan, Bin Gong, Zhun Yang, Tianzhou Chen

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015