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 2025 · cs.HCShow all

1 paper · 2 filters

cs.HC2025

Generation and Evaluation in the Human Invention Process through the Lens of Game Design

Katherine M. Collins, Graham Todd, Cedegao E. Zhang +6

The human ability to learn rules and solve problems has been a central concern of cognitive science research since the field's earliest days. But we do not just follow rules and so…