Ben Lipkin's picture

5 1 1

Ben Lipkin

benlipkin

·

https://benlipkin.github.io/

AI & ML interests

Cognitive Science, NLP, Program Synthesis

Recent Activity

updated a dataset 2 days ago

benlipkin/stack-overflow

published a dataset 2 days ago

benlipkin/stack-overflow

authored a paper 9 months ago

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

View all activity

Organizations

benlipkin 's datasets 5

benlipkin/stack-overflow

Viewer • Updated 2 days ago • 49.2k • 7

benlipkin/arlsat

Viewer • Updated Mar 4, 2024 • 2.05k • 166

benlipkin/folio

Viewer • Updated May 2, 2023 • 204 • 99 • 1

benlipkin/rnng-brainscore

Updated Nov 9, 2022 • 148 • 1

benlipkin/braincode-neurips2022

Viewer • Updated Sep 22, 2022 • 240k • 169 • 1