2 papers
cs.AI2025
LPMLN, Weak Constraints, and P-log
Joohyung Lee, Zhun Yang
LPMLN is a recently introduced formalism that extends answer set programs by adopting the log-linear weight scheme of Markov Logic. This paper investigates the relationships betwee…
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…