2 papers
cs.AI2026
Abductive Reasoning with Probabilistic Commonsense
Joseph Cotnareanu, Chiara Roverato, Han Zhou +3
Recent efforts to improve the reasoning abilities of Large Language Models (LLMs) have focused on integrating formal logic solvers within neurosymbolic frameworks. A key challenge…
cs.GT2023
Level-k Thinking in the Extensive Form
Burkhard C. Schipper, Hang Zhou
Level-k thinking has been widely applied as a solution concept for games in normal form in behavioral and experimental game theory. We consider level-k thinking in games in extensi…