Hugging Face's logo
Ben Lipkin's picture
5 1 1

Ben Lipkin

benlipkin
xszheng2020's profile picture Zeki61's profile picture muhtasham's profile picture
·
https://benlipkin.github.io/

AI & ML interests

Cognitive Science, NLP, Program Synthesis

Recent Activity

updated a dataset about 1 month ago
benlipkin/stack-overflow
published a dataset about 1 month ago
benlipkin/stack-overflow
authored a paper 10 months ago
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
View all activity

Organizations

Massachusetts Institute of Technology's profile picture Programming in the brain project - MIT's profile picture BigCode's profile picture LogicalLargeLanguageModels's profile picture EWoK's profile picture