ImageCLEF 2018 Tuberculosis Task: Ensemble of 3D CNNs with Multiple Inputs for Tuberculosis Type Classification. - Adam Ishay; Oge Marques (CLEF (Working Notes), 2018)

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

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)

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions. - Adam Ishay; Joohyung Lee 002 (AAAI, 2025)