Adam Ishay

13 papers A* 4A 1Journal 6Unranked 2

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions. AAAI Adam Ishay, Joohyung Lee
2025	J	`jnl`	LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions. CoRR Adam Ishay, Joohyung Lee
2025	J	`jnl`	Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. CoRR Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim
2024	A	`conf`	Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering. WACV Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang, Dongjae Lim
2023	—	`conf`	Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. ACL (Findings) Zhun Yang, Adam Ishay, Joohyung Lee
2023	J	`jnl`	Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text. CoRR Zhun Yang, Adam Ishay, Joohyung Lee
2023	A*	`conf`	Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. ICLR Zhun Yang, Adam Ishay, Joohyung Lee
2023	J	`jnl`	Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer. CoRR Zhun Yang, Adam Ishay, Joohyung Lee
2023	A*	`conf`	Leveraging Large Language Models to Generate Answer Set Programs. KR Adam Ishay, Zhun Yang, Joohyung Lee
2023	J	`jnl`	Leveraging Large Language Models to Generate Answer Set Programs. CoRR Adam Ishay, Zhun Yang, Joohyung Lee
2023	J	`jnl`	NeurASP: Embracing Neural Networks into Answer Set Programming. CoRR Zhun Yang, Adam Ishay, Joohyung Lee
2020	A*	`conf`	NeurASP: Embracing Neural Networks into Answer Set Programming. IJCAI Zhun Yang, Adam Ishay, Joohyung Lee
2018	—	`conf`	ImageCLEF 2018 Tuberculosis Task: Ensemble of 3D CNNs with Multiple Inputs for Tuberculosis Type Classification. CLEF (Working Notes) Adam Ishay, Oge Marques

2023 — conf

Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.

AISec

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz

2026 — preprint

CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.

arXiv

Matti Schulze, Thorsten Holz, Felix C. Freiling