LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Theo X. Olausson, Alex Gu, Ben Lipkin, Cedegao E. Zhang, Armando Solar-Lezama, Joshua B. Tenenbaum, Roger P. Levy
Main: Commonsense Reasoning Main-poster Paper
Poster_Demo_Industry_Findings In-person 4: Commonsense Reasoning (Poster)
Conference Room: East Foyer
Conference Time: December 09, 09:00-10:30 (+08) (Asia/Singapore)
Global Time: December 09, Poster_Demo_Industry_Findings In-person 4 (01:00-02:30 UTC)
TLDR:
You can open the
#paper-5260
channel in a separate window.
Abstract: