Programming in the brain project - MIT

AI & ML interests

https://github.com/ALFA-group/neural-program-comprehension

Recent Activity

benlipkin  authored a paper 13 days ago

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

benlipkin  authored a paper 13 days ago

Elements of World Knowledge (EWOK): A cognition-inspired framework for evaluating basic world knowledge in language models

benlipkin  authored a paper 13 days ago

Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling

View all activity

Team members 2