Programming in the brain project - MIT

university

https://www.csail.mit.edu/research/anyscale-learning-all-alfa, https://evlab.mit.edu/

Activity Feed Request to join this org

AI & ML interests

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

Recent Activity

benlipkin authored a paper about 1 month ago

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

benlipkin authored a paper about 1 month ago

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

benlipkin authored a paper about 1 month ago

Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling

View all activity

braincode's activity

benlipkin

authored 3 papers about 1 month ago

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

Paper • 2310.15164 • Published Oct 23, 2023 • 2

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

Paper • 2405.09605 • Published May 15, 2024

Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling

Paper • 2504.05410 • Published Apr 7 • 3

benlipkin

authored a paper about 2 years ago

StarCoder: may the source be with you!

Paper • 2305.06161 • Published May 9, 2023 • 31