1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2025
Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering
Adam Ishay, Zhun Yang, Joohyung Lee +2
Causal and temporal reasoning about video dynamics is a challenging problem. While neuro-symbolic models that combine symbolic reasoning with neural-based perception and prediction…
cs.CL2025★ 1 cited
LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions
Adam Ishay, Joohyung Lee
Large Language Models (LLMs) have made significant strides in various intelligent tasks but still struggle with complex action reasoning tasks that require systematic search. To ad…