Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
benlipkin (Ben Lipkin)
[go: Go Back, main page]
Hugging Face's logo
Ben Lipkin's picture
5 1 1

Ben Lipkin

benlipkin
Longhui98's profile picture pengli09's profile picture muhtasham's profile picture
·
https://benlipkin.github.io/

AI & ML interests

Cognitive Science, NLP, Program Synthesis

Recent Activity

updated a dataset 2 months ago
benlipkin/stack-overflow
published a dataset 2 months ago
benlipkin/stack-overflow
authored a paper 11 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