Cite
Notes
Only stored in your browser.
Attribution
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
arXiv 2023
from 1 papers
Alex Gu
grad-student
Armando Solar-Lezama
professor
Benjamin Lipkin
Joshua B. Tenenbaum
Roger Levy
Theo X. Olausson