Skip to content
View wellecks's full-sized avatar
254 followers · 8 following
  • Carnegie Mellon University
  • Pittsburgh

Achievements

Achievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@dmlc

Block or report wellecks

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

Pinned Loading

  1. cmu-l3/llmlean cmu-l3/llmlean Public

    LLMs + Lean, on your laptop or in the cloud

    Lean 130 17

  2. cmu-l3/ntptutorial-II cmu-l3/ntptutorial-II Public

    Neural theorem proving tutorial, version II

    Jupyter Notebook 31 5

  3. naturalprover naturalprover Public

    NaturalProver: Grounded Mathematical Proof Generation with Language Models

    Python 36 1

  4. naturalproofs naturalproofs Public

    NaturalProofs: Mathematical Theorem Proving in Natural Language (NeurIPS 2021 Datasets & Benchmarks)

    Python 123 10

  5. facebookresearch/unlikelihood_training facebookresearch/unlikelihood_training Public archive

    Neural Text Generation with Unlikelihood Training

    Python 310 45

  6. symbolic_generalization symbolic_generalization Public

    Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)

    Python 14 3