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

Ben Lipkin

benlipkin
GigaBoy's profile picture Longhui98's profile picture Zeki61's profile picture
·
https://benlipkin.github.io/

AI & ML interests

Cognitive Science, NLP, Program Synthesis

Recent Activity

updated a dataset 12 days ago
benlipkin/stack-overflow
published a dataset 12 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

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