Skip to content
View duongngocyen's full-sized avatar
🎯
Focusing
🎯
Focusing
2 followers · 9 following
  • Nanyang Technological University
  • Singapore

Block or report duongngocyen

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

Hi there! I'm Yen 👋

I'm a final-year student at Nanyang Technological University.

About Me

I am currently an AI Research Intern at Blue Raven AI, where we build LLMs for Automatic Theorem Proving in Lean4. I also enjoy writing in my free time, and hopefully, I will manage to publish one day! ✍️

📰 News

Feel free to check out my repositories and connect with me!

Pinned Loading

  1. dxlong2000/Multi-expert-Prompting dxlong2000/Multi-expert-Prompting Public

    [EMNLP 2024] Multi-expert Prompting Improves Reliability, Safety and Usefulness of Large Language Models

    Python 31 7

  2. InformationRetrieval InformationRetrieval Public

    Jupyter Notebook