Skip to content
View fpiedrah's full-sized avatar
26 followers · 21 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@BrownSuperLab

Block or report fpiedrah

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

Welcome to My GitHub 🤖

Hello! I'm Francisco, a computer science Ph.D. student at Brown University. This GitHub repository is a collection of my projects, showcasing my skills and experiences in Reinforcement Learning and Machine Learning.

About Me

  • 🎓 Education: Ph.D. Student at Brown University
  • 🌱 I’m Currently Learning: Reinforcement Learning and Machine Learning
  • 🔭 I’m currently Working On: Research on LLMs and Their Integration with Traditional Machine Learning Techniques

Francisco's GitHub stats Francisco's GitHub stats

Pinned Loading

  1. private-search private-search Public

    POC replicating the functionality described in the "Private Web Search with Tiptoe" paper

    Jupyter Notebook

  2. forall-x forall-x Public

    Formal proofs of the "forall x: Calgary" book by P.D. Magnus, Tim Button, Robert Trueman, and Richard Zach, using the Lean4 theorem prover.

    Lean 1