activity
20192026
most citedLINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

53 citations · 66 across the 18 of their papers we have counts for

collaborators
Showing cs.GTShow all

1 paper · 1 filter

cs.GT2024

People use fast, goal-directed simulation to reason about novel games

Cedegao E. Zhang, Katherine M. Collins, Lionel Wong +3

People can evaluate features of problems and their potential solutions well before we can effectively solve them. When considering a game we have never played, for instance, we mig…