Skip to content
View benlipkin's full-sized avatar
33 followers · 10 following

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull Sharkx2Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report benlipkin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
benlipkin/README.md

Pinned Loading

  1. decoding decoding Public

    Composable inference algorithms with LLMs and programmable logic

    Python 12

  2. linc linc Public

    🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]

    Jupyter Notebook 52 7

  3. probsem probsem Public

    Probabilistic LLM evaluations. [CogSci2023; ACL2023]

    Python 73 4

  4. dottxt-ai/outlines dottxt-ai/outlines Public

    Structured Text Generation

    Python 8.4k 427

  5. bigcode-project/bigcode-evaluation-harness bigcode-project/bigcode-evaluation-harness Public

    A framework for the evaluation of autoregressive code generation language models.

    Python 781 208

  6. project-numina/aimo-progress-prize project-numina/aimo-progress-prize Public

    Jupyter Notebook 271 19