Ishay, Adam

4 publications

AAAI 2025 LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions Adam Ishay, Joohyung Lee

WACV 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

ICLR 2023 Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang, Adam Ishay, Joohyung Lee

IJCAI 2020 NeurASP: Embracing Neural Networks into Answer Set Programming Zhun Yang, Adam Ishay, Joohyung Lee