Benjamin Lipkin

发表

LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

Armando Solar-Lezama, Cedegao Zhang, Theo X. Olausson, 2023, EMNLP.