Adam Ishay

According to our database, Adam Ishay authored at least 8 papers between 2018 and 2026.

Collaborative distances:

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

2026

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning.

Adam Ishay, Joohyung Lee

CoRR, April, 2026

2025

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions.

Adam Ishay, Joohyung Lee

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

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

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

ImageCLEF 2018 Tuberculosis Task: Ensemble of 3D CNNs with Multiple Inputs for Tuberculosis Type Classification.

Adam Ishay, Oge Marques

Proceedings of the Working Notes of CLEF 2018, 2018