Adam Ishay

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Logic Programming

Symbolic Reasoning

Answer Set Programming

Top Venues

Publications

Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim
Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. WACV (2024)
Zhun Yang, Adam Ishay, Joohyung Lee
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. CoRR (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
NeurASP: Embracing Neural Networks into Answer Set Programming. CoRR (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. ACL (Findings) (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. CoRR (2023)
Adam Ishay, Zhun Yang, Joohyung Lee
Leveraging Large Language Models to Generate Answer Set Programs. CoRR (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. ICLR (2023)
Adam Ishay, Zhun Yang, Joohyung Lee
Leveraging Large Language Models to Generate Answer Set Programs. KR (2023)
Zhun Yang, Adam Ishay, Joohyung Lee
NeurASP: Embracing Neural Networks into Answer Set Programming. IJCAI (2020)
Adam Ishay, Oge Marques
ImageCLEF 2018 Tuberculosis Task: Ensemble of 3D CNNs with Multiple Inputs for Tuberculosis Type Classification. CLEF (Working Notes) (2018)