Ben Lipkin

benlipkin's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored 3 papers 3 months 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

authored a paper about 2 years ago

StarCoder: may the source be with you!

Paper • 2305.06161 • Published May 9, 2023 • 31