Skip to content
View pengyunie's full-sized avatar
30 followers · 7 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@EngineeringSoftware

Block or report pengyunie

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
pengyunie/README.md

Hi there 👋

I am Pengyu Nie! Homepage: here

Pinned

  1. seutil seutil Public

    Python utilities for Software Engineering + Machine Learning research.

    Python 6 3

  2. EngineeringSoftware/teco EngineeringSoftware/teco Public

    TeCo: an ML+Execution model for test completion

    Python 26 3

  3. EngineeringSoftware/roosterize EngineeringSoftware/roosterize Public

    Tool for suggesting lemma names in Coq verification projects

    Python 18 5

  4. EngineeringSoftware/time-segmented-evaluation EngineeringSoftware/time-segmented-evaluation Public

    Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.

    Python 10 1

  5. EngineeringSoftware/CoditT5 EngineeringSoftware/CoditT5 Public

    CoditT5: Pretraining for Source Code and Natural Language Editing

    Python 28 2

  6. EngineeringSoftware/inlinetest EngineeringSoftware/inlinetest Public

    Tests that check correctness of a single statement

    Python 12 3