NLPExplorer
Papers
Venues
Authors
Authors Timeline
Field of Study
URLs
ACL N-gram Stats
TweeNLP
API
Team
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
Theo Olausson
|
Alex Gu
|
Ben Lipkin
|
Cedegao Zhang
|
Armando Solar-Lezama
|
Joshua Tenenbaum
|
Roger Levy
|
Paper Details:
Month: December
Year: 2023
Location: Singapore
Venue:
EMNLP |
Citations
URL
No Citations Yet
https://github.com/benlipkin/linc
https://huggingface.co/bigcode/starcoderplus
https://huggingface.co/spaces/bigcode/
https://huggingface.co/spaces/
https://github.com/Yale-LILY/FOLIO
https://huggingface.co/bigcode/starcoderplus
https://github.com/Yale-LILY/FOLIO/blob/
https://github.com/Yale-LILY/FOLIO/blob/
Field Of Study