| Neurasp: Embracing neural networks into answer set programming Z Yang, A Ishay, J Lee arXiv preprint arXiv:2307.07700, 2020 | 176 | 2020 |
| LPMLN, weak constraints, and P-log J Lee, Z Yang Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 45 | 2017 |
| Coupling large language models with logic programming for robust and general reasoning from text Z Yang, A Ishay, J Lee arXiv preprint arXiv:2307.07696, 2023 | 30 | 2023 |
| Injecting logical constraints into neural networks via straight-through estimators Z Yang, J Lee, C Park International Conference on Machine Learning, 25096-25122, 2022 | 22 | 2022 |
| Licality—likelihood and criticality: Vulnerability risk prioritization through logical reasoning and deep learning Z Zeng, Z Yang, D Huang, CJ Chung IEEE Transactions on Network and Service Management 19 (2), 1746-1760, 2021 | 20 | 2021 |
| Leveraging large language models to generate answer set programs A Ishay, Z Yang, J Lee arXiv preprint arXiv:2307.07699, 2023 | 13 | 2023 |
| Learning to solve constraint satisfaction problems with recurrent transformer Z Yang, A Ishay, J Lee arXiv preprint arXiv:2307.04895, 2023 | 8 | 2023 |
| Translating LPOD and CR-Prolog2 into standard answer set programs J Lee, Z Yang Theory and Practice of Logic Programming 18 (3-4), 589-606, 2018 | 6 | 2018 |
| Towards a Personal Health Large Language Model J Cosentino, A Belyaeva, X Liu, NA Furlotte, Z Yang, C Lee, E Schenck, ... arXiv preprint arXiv:2406.06474, 2024 | 3 | 2024 |
| Statistical relational extension of answer set programming J Lee, Z Yang Reasoning Web. Causality, Explanations and Declarative Knowledge: 18th …, 2023 | 3 | 2023 |
| Extending Answer Set Programs with Neural Networks Z Yang arXiv preprint arXiv:2009.10256, 2020 | 2 | 2020 |
| Computing logic programs with ordered disjunction using asprin J Lee, Z Yang Proceedings of the 16th International Conference on Principles of Knowledge …, 2018 | 2 | 2018 |
| Neuro-Symbolic AI Approaches to Enhance Deep Neural Networks with Logical Reasoning and Knowledge Integration Z Yang Arizona State University, 2023 | 1 | 2023 |
| Translating P-log, LPMLN, LPOD, and CR-Prolog2 into Standard Answer Set Programs Z Yang Technical Communications of the 34th International Conference on Logic …, 2018 | 1 | 2018 |
| Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering A Ishay, Z Yang, J Lee, I Kang, D Lim Proceedings of the IEEE/CVF Winter Conference on Applications of Computer …, 2024 | | 2024 |
| A simple extension of answer set programs to embrace neural networks Z Yang, A Ishay, J Lee Electronic proceedings in theoretical computer science, 2020 | | 2020 |
| Implementing Logic Programs with Ordered Disjunction Using asprin J Lee, Z Yang 17th International Workshop on Non-Monotonic Reasoning (NMR 2018), 2018 | | 2018 |
| On the Relationships Among Probabilistic Extensions of Answer Set Semantics Z Yang Arizona State University, 2017 | | 2017 |
| Neuro-Symbolic Reasoning with Large Language Models and Answer Set Programming: A Case Study on Logic Puzzles A Ishay, Z Yang, J Lee | | |
| Modular Enhancements to a Neuro-Symbolic Model with Causal and Temporal Constraints A Ishay, D Lim, I Kang, Z Yang, J Lee | | |
