Skip to content
Avatar
155 followers · 8 following
  • University of Washington
  • Seattle

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck
BetaSend feedback

Highlights

  • Pro

Organizations

@dmlc
Block or Report

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.

Add an optional note:
Report abuse

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

Report abuse

Pinned

  1. naturalprover Public

    NaturalProver: Grounded Mathematical Proof Generation with Language Models

    Python 6 1

  2. naturalproofs Public

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

    Python 80 7

  3. facebookresearch/unlikelihood_training Public

    Neural Text Generation with Unlikelihood Training

    Python 276 43

  4. mgs Public

    MLE-Guided Parameter Search (AAAI 2021)

    Python 11 1

  5. nonmonotonic_text Public

    Non-Monotonic Sequential Text Generation (ICML 2019)

    Python 74 11

  6. symbolic_generalization Public

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

    Python 11 1

280 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

September 2022

Created 1 commit in 1 repository
7 contributions in private repositories Sep 7 – Sep 21

Seeing something unexpected? Take a look at the GitHub profile guide.