Adam Ishay

5 papers · 2020–2025 · 5 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Silver 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (15) 🐣 Hot Topic Early Bird

Venues

AAAI (1) ACL (1) ICLR (1) IJCAI (1) WACV (1)

Top co-authors

Joohyung Lee (5) Zhun Yang (4) Dongjae Lim (1) Ilgu Kang (1)

Research topics

Artificial Intelligence (5) Core AI (5) Knowledge & Reasoning (3) Machine Learning (3) Reasoning (3) Deep Learning (2) Natural Language Processing (2) Architectures (2) Learning Types (2) Resources & Methods (2) Core Methods (1) Learning Paradigms (1) Models (1) Representation (1)

Keywords

answer set programming (3) question answering (2) semantic parsing (2) symbolic reasoning (2) large language model (2) automated reasoning (2) commonsense knowledge (1) video understanding (1) probability distribution (1) counterfactual reasoning (1) complex reasoning (1) constraint satisfaction problem (1) logic programming (1) neuro-symbolic computing (1) logical form (1) neuro-symbolic reasoning (1) hybrid ai (1) graph neural network (1) neural network (1) action language (1)

Papers

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning About Actions AAAI 2025 Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering WACV 2024 Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text ACL 2023 Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer ICLR 2023 NeurASP: Embracing Neural Networks into Answer Set Programming IJCAI 2020