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

Ben Lipkin

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

AI & ML interests

Cognitive Science, NLP, Program Synthesis

Recent Activity

authored a paper about 20 hours ago
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers
authored a paper about 20 hours ago
Elements of World Knowledge (EWOK): A cognition-inspired framework for evaluating basic world knowledge in language models
authored a paper about 20 hours ago
Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling
View all activity

Organizations

Programming in the brain project - MIT's profile picture BigCode's profile picture LogicalLargeLanguageModels's profile picture EWoK's profile picture

Articles 1

Article
119

How NuminaMath Won the 1st AIMO Progress Prize

Papers 4